use F* branch john_ml_steel_c (FStarLang/FStar#2349)

tahina-pro · Oct 4, 2021 · e967534 · e967534
1 parent 2235d7e
commit e967534
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.docker/build/config.json b/.docker/build/config.json
@@ -4,7 +4,7 @@
     "BaseContainerIsEverestImage" : true,
     "BaseContainerImageName" : "fstar",
     "BaseContainerImageTagOrCommitId": "latest",
-    "BranchName" : "taramana_steel_ptr",
+    "BranchName" : "john_ml_steel_c",
     "GithubCommitUrl" : "https://github.com/FStarLang/FStar/commit",
     "OnDemandBuildDefinition" : "FStar\\FStar-{agentOS}",