Merge pull request #3554 from mtzguido/ci_restore

Revert "CI: point karamel to patched branch"
FStarLang · Oct 10, 2024 · 51efdde · 51efdde
2 parents 21133ea + 6fe7147
commit 51efdde
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.docker/build/config.json b/.docker/build/config.json
@@ -31,6 +31,6 @@
     "TrackPerformance" : false,
 
     "RepoVersions" : {
-        "karamel_version" : "origin/fstar_io_fsti"
+        "karamel_version" : "origin/master"
     }
 }