From 9d4943804bf63b2ae0ca2b497627cb8757780c29 Mon Sep 17 00:00:00 2001 From: coqbot Date: Fri, 3 Jan 2025 10:22:29 +0000 Subject: [PATCH] Set up CI minimization run for ci-metacoq At coq/coq@c5fed9e5837051427bd4fc6206b4eff3caa5459b over coq/coq@03dd829b8c9b0950c21ec59f27242acbf8f07e73 --- .github/workflows/main.yml | 2 +- coqbot-request-stamp | 2 +- coqbot.ci-target | 2 +- coqbot.compiler | 2 +- coqbot.failing-artifact-urls | 2 +- coqbot.failing-sha | 2 +- coqbot.issue-number | 1 + coqbot.passing-artifact-urls | 2 +- coqbot.passing-sha | 2 +- coqbot.resume-minimization-url | 1 + coqbot.resumption-args | 8 ++++++++ coqbot.url | 1 + 12 files changed, 19 insertions(+), 8 deletions(-) create mode 100644 coqbot.resume-minimization-url create mode 100644 coqbot.resumption-args diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 5f07441..2f49ac4 100644 --- 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 index f747925..5a4b57a 100644 --- 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 \ No newline at end of file diff --git a/coqbot.ci-target b/coqbot.ci-target index 2359f92..7569121 100644 --- 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 index 2da4316..1ac9092 100644 --- 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 index 8b13789..bcba5fb 100644 --- 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 index 8b13789..b2cff92 100644 --- a/coqbot.failing-sha +++ b/coqbot.failing-sha @@ -1 +1 @@ - +c5fed9e5837051427bd4fc6206b4eff3caa5459b diff --git a/coqbot.issue-number b/coqbot.issue-number index e69de29..b540169 100644 --- a/coqbot.issue-number +++ b/coqbot.issue-number @@ -0,0 +1 @@ +19981 diff --git a/coqbot.passing-artifact-urls b/coqbot.passing-artifact-urls index 8b13789..b2b21be 100644 --- 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 index 8b13789..00a6902 100644 --- a/coqbot.passing-sha +++ b/coqbot.passing-sha @@ -1 +1 @@ - +03dd829b8c9b0950c21ec59f27242acbf8f07e73 diff --git a/coqbot.resume-minimization-url b/coqbot.resume-minimization-url new file mode 100644 index 0000000..4f09f09 --- /dev/null +++ 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 new file mode 100644 index 0000000..4719611 --- /dev/null +++ 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 index e69de29..fa1cbeb 100644 --- a/coqbot.url +++ b/coqbot.url @@ -0,0 +1 @@ +https://coqbot.herokuapp.com/ci-minimization