From 260c14fc0ca64b7db5276e6a6a6e11a42b044f1a Mon Sep 17 00:00:00 2001 From: coqbot Date: Wed, 15 Nov 2023 23:08:20 +0000 Subject: [PATCH] Set up CI minimization run for ci-analysis At coq/coq@df45fd0bea8b9b8ec8e48dd5d8716094c57e9ad9 over coq/coq@56a7f9c955047588cff110e5441999f6cd5e0582 --- .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 55a353e..9365ab7 100644 --- 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.inria.fr/coq/coq:edge_ubuntu-V2023-08-28-93124ee272' #coq_version: 'latest' #ocaml_version: 'default' custom_script: ./timeout-run.sh diff --git a/coqbot-request-stamp b/coqbot-request-stamp index f747925..b2ad73e 100644 --- a/coqbot-request-stamp +++ b/coqbot-request-stamp @@ -1 +1 @@ -DUMMY +PR_kwDOABUDh85fiCBC <> coq-community/run-coq-bug-minimizer run-coq-bug-minimizer-61440685032 coq coq 18325 \ No newline at end of file diff --git a/coqbot.ci-target b/coqbot.ci-target index 2359f92..b1d58e7 100644 --- a/coqbot.ci-target +++ b/coqbot.ci-target @@ -1 +1 @@ -TAKE FROM failing-log.log +ci-analysis 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..c7bb3e5 100644 --- a/coqbot.failing-artifact-urls +++ b/coqbot.failing-artifact-urls @@ -1 +1 @@ - +https://gitlab.inria.fr/coq/coq/-/jobs/3600455/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/3600507/artifacts/download diff --git a/coqbot.failing-sha b/coqbot.failing-sha index 8b13789..86e1035 100644 --- a/coqbot.failing-sha +++ b/coqbot.failing-sha @@ -1 +1 @@ - +df45fd0bea8b9b8ec8e48dd5d8716094c57e9ad9 diff --git a/coqbot.issue-number b/coqbot.issue-number index e69de29..f817cc5 100644 --- a/coqbot.issue-number +++ b/coqbot.issue-number @@ -0,0 +1 @@ +18325 diff --git a/coqbot.passing-artifact-urls b/coqbot.passing-artifact-urls index 8b13789..6eb2ac1 100644 --- a/coqbot.passing-artifact-urls +++ b/coqbot.passing-artifact-urls @@ -1 +1 @@ - +https://gitlab.inria.fr/coq/coq/-/jobs/3599446/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/3599498/artifacts/download diff --git a/coqbot.passing-sha b/coqbot.passing-sha index 8b13789..7d7d011 100644 --- a/coqbot.passing-sha +++ b/coqbot.passing-sha @@ -1 +1 @@ - +56a7f9c955047588cff110e5441999f6cd5e0582 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..3c09fa9 --- /dev/null +++ b/coqbot.resumption-args @@ -0,0 +1,8 @@ +registry.gitlab.inria.fr/coq/coq:edge_ubuntu-V2023-08-28-93124ee272 +ci-analysis +4.14.1+flambda +https://gitlab.inria.fr/coq/coq/-/jobs/3600455/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/3600507/artifacts/download +https://gitlab.inria.fr/coq/coq/-/jobs/3599446/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/3599498/artifacts/download +56a7f9c955047588cff110e5441999f6cd5e0582 +df45fd0bea8b9b8ec8e48dd5d8716094c57e9ad9 + 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