Revert "(TEMP) CI: use FStarLang/pulse#248"

This reverts commit 5ff25c3.
project-everest · Nov 19, 2024 · 6b77680 · 6b77680
1 parent 4b45f46
commit 6b77680
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.docker/build/config.json b/.docker/build/config.json
@@ -29,7 +29,7 @@
 
     "RepoVersions" : {
         "mitls_version" : "origin/dev",
-        "pulse_version" : "origin/_taramana_slice_merge_sort",
+        "pulse_version" : "origin/main",
         "karamel_version" : "origin/master"
     }
 }