From 666499a6f22b35f397e99047ffa70285fd18a507 Mon Sep 17 00:00:00 2001 From: Tahina Ramananandro Date: Mon, 29 Jul 2024 07:59:06 -0700 Subject: [PATCH] test a F* CI fix --- .docker/build/config.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.docker/build/config.json b/.docker/build/config.json index 5d4bd2bb3..53633b354 100644 --- 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}",