Set up CI minimization resumption run for ci-metacoq

At coq/coq@b4f4318 over coq/coq@a38dada
coq-community · Dec 16, 2023 · 323fe6e · 323fe6e
1 parent 4269944
commit 323fe6e
Show file tree

Hide file tree

Showing 13 changed files with 3,074 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/[email protected]
       with:
-        #custom_image: 'registry.gitlab.com/coq/coq:CACHEKEY'
+        custom_image: 'registry.gitlab.inria.fr/coq/coq:old_ubuntu_lts-V2023-06-30-8ca33f9dfd'
         #coq_version: 'latest'
         #ocaml_version: 'default'
         custom_script: ./timeout-run.sh