Set up CI minimization resumption run for ci-fiat_crypto

At coq/coq@cecd173 over coq/coq@6e739ce
coq-community · Jun 9, 2023 · 4ccc322 · 4ccc322
1 parent 928bdbb
commit 4ccc322
Show file tree

Hide file tree

Showing 13 changed files with 4,427 additions and 8 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -20,7 +20,7 @@ jobs:
     - name: Run minimizer
       uses: coq-community/docker-coq-action@v1.4.1
       with:
-        #custom_image: 'registry.gitlab.com/coq/coq:CACHEKEY'
+        custom_image: 'registry.gitlab.com/coq/coq:bionic_coq-V2023-06-07-de28eea879'
         #coq_version: 'latest'
         #ocaml_version: 'default'
         custom_script: ./timeout-run.sh