Revert "(TEMP) CI: use F*, krml "renaming" branches"

This reverts commit e83ec07.
hacl-star · Mar 28, 2022 · ef4d018 · ef4d018
1 parent b4d9af9
commit ef4d018
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.docker/build/config.json b/.docker/build/config.json
@@ -4,7 +4,7 @@
     "BaseContainerIsEverestImage" : true,
     "BaseContainerImageName" : "fstar",
     "BaseContainerImageTagOrCommitId": "latest",
-    "BranchName" : "pnmadelaine_rename_kremlin",
+    "BranchName" : "master",
     "GithubCommitUrl" : "https://github.com/FStarLang/FStar/commit",
     "OnDemandBuildDefinition" : "FStar\\FStar-{agentOS}",
 
@@ -32,7 +32,7 @@
     "TrackPerformance" : false,
 
     "RepoVersions" : {
-        "karamel_version" : "origin/pnmadelaine_renaming",
+        "karamel_version" : "origin/master",
         "mitls_version" : "origin/master",
         "mlcrypto_version" : "origin/master",
         ".vale_version" : "origin/master"