(TEMP) use FStarLang/pulse#247

project-everest · Oct 29, 2024 · 3593766 · 3593766
1 parent bfeaa30
commit 3593766
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/main",
+        "pulse_version" : "origin/_taramana_no_slice_pair",
         "karamel_version" : "origin/master"
     }
 }