Set up CI minimization run for ci-metacoq

At coq/coq@c5fed9e over coq/coq@03dd829
coq-community · Jan 3, 2025 · 9d49438 · 9d49438
1 parent 5b224cc
commit 9d49438
Show file tree

Hide file tree

Showing 12 changed files with 19 additions and 8 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -21,7 +21,7 @@ jobs:
     - name: Run minimizer
       uses: coq-community/docker-coq-action@v1.5.0
       with:
-        #custom_image: 'registry.gitlab.com/coq/coq:CACHEKEY'
+        custom_image: 'registry.gitlab.inria.fr/coq/coq:edge_ubuntu-V2024-12-13-5c140221f4'
         #coq_version: 'latest'
         #ocaml_version: 'default'
         custom_script: ./timeout-run.sh

diff --git a/coqbot-request-stamp b/coqbot-request-stamp
@@ -1 +1 @@
-DUMMY
+PR_kwDOABUDh86GnPSt <> coq-community/run-coq-bug-minimizer run-coq-bug-minimizer-1928006008180 coq coq 19981
diff --git a/coqbot.ci-target b/coqbot.ci-target
@@ -1 +1 @@
-TAKE FROM failing-log.log
+ci-metacoq
diff --git a/coqbot.compiler b/coqbot.compiler
@@ -1 +1 @@
-4.10.0
+4.14.1+flambda
diff --git a/coqbot.failing-artifact-urls b/coqbot.failing-artifact-urls
@@ -1 +1 @@
-
+https://gitlab.inria.fr/coq/coq/-/jobs/5122557/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/5122641/artifacts/download
diff --git a/coqbot.failing-sha b/coqbot.failing-sha
@@ -1 +1 @@
-
+c5fed9e5837051427bd4fc6206b4eff3caa5459b
diff --git a/coqbot.issue-number b/coqbot.issue-number
@@ -0,0 +1 @@
+19981
diff --git a/coqbot.passing-artifact-urls b/coqbot.passing-artifact-urls
@@ -1 +1 @@
-
+https://gitlab.inria.fr/coq/coq/-/jobs/5112370/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/5112454/artifacts/download
diff --git a/coqbot.passing-sha b/coqbot.passing-sha
@@ -1 +1 @@
-
+03dd829b8c9b0950c21ec59f27242acbf8f07e73
diff --git a/coqbot.resume-minimization-url b/coqbot.resume-minimization-url
@@ -0,0 +1 @@
+https://coqbot.herokuapp.com/resume-ci-minimization
diff --git a/coqbot.resumption-args b/coqbot.resumption-args
@@ -0,0 +1,8 @@
+registry.gitlab.inria.fr/coq/coq:edge_ubuntu-V2024-12-13-5c140221f4
+ci-metacoq
+4.14.1+flambda
+https://gitlab.inria.fr/coq/coq/-/jobs/5122557/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/5122641/artifacts/download
+https://gitlab.inria.fr/coq/coq/-/jobs/5112370/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/5112454/artifacts/download
+03dd829b8c9b0950c21ec59f27242acbf8f07e73
+c5fed9e5837051427bd4fc6206b4eff3caa5459b
+
diff --git a/coqbot.url b/coqbot.url
@@ -0,0 +1 @@
+https://coqbot.herokuapp.com/ci-minimization
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		DUMMY
		PR_kwDOABUDh86GnPSt <> coq-community/run-coq-bug-minimizer run-coq-bug-minimizer-1928006008180 coq coq 19981
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@

		https://gitlab.inria.fr/coq/coq/-/jobs/5122557/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/5122641/artifacts/download
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		https://coqbot.herokuapp.com/resume-ci-minimization