test a F* CI fix

FStarLang · Jul 29, 2024 · 666499a · 666499a
1 parent 1ed8ba5
commit 666499a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.docker/build/config.json b/.docker/build/config.json
@@ -3,7 +3,7 @@
 
     "BaseContainerIsEverestImage" : true,
     "BaseContainerImageName" : "fstar",
-    "BaseContainerImageTagOrCommitId": "latest",
+    "BaseContainerImageTagOrCommitId": "_taramana_ci",
     "BranchName" : "master",
     "GithubCommitUrl" : "https://github.com/FStarLang/fstar/commit",
     "OnDemandBuildDefinition" : "FStar\\FStar-{agentOS}",