(TEMP) use Karamel _taramana_no_steel

FStarLang · Apr 13, 2023 · 1376c61 · 1376c61
1 parent 76a7d0a
commit 1376c61
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/master"
+        "karamel_version" : "origin/_taramana_no_steel"
     }
 }