From 4e94c5046b31529824f1a04497271187606cf3d5 Mon Sep 17 00:00:00 2001
From: coqbot <coqbot@users.noreply.github.com>
Date: Tue, 7 Nov 2023 08:16:24 +0000
Subject: [PATCH] Set up CI minimization run for ci-bedrock2

At coq/coq@bbce3eb87330c5586f54840ea7eb7cc942b5a5c5 over coq/coq@42bf27091fdd2c2b03ad24c474e5339bcf4cf6e9
---
 .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..4a4344e 100644
--- a/coqbot-request-stamp
+++ b/coqbot-request-stamp
@@ -1 +1 @@
-DUMMY
+PR_kwDOABUDh85er9MA <> coq-community/run-coq-bug-minimizer run-coq-bug-minimizer-1857617458104 coq coq 18260
\ No newline at end of file
diff --git a/coqbot.ci-target b/coqbot.ci-target
index 2359f92..ae78919 100644
--- a/coqbot.ci-target
+++ b/coqbot.ci-target
@@ -1 +1 @@
-TAKE FROM failing-log.log
+ci-bedrock2
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..20a6292 100644
--- a/coqbot.failing-artifact-urls
+++ b/coqbot.failing-artifact-urls
@@ -1 +1 @@
-
+https://gitlab.inria.fr/coq/coq/-/jobs/3563333/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/3563356/artifacts/download
diff --git a/coqbot.failing-sha b/coqbot.failing-sha
index 8b13789..b269799 100644
--- a/coqbot.failing-sha
+++ b/coqbot.failing-sha
@@ -1 +1 @@
-
+bbce3eb87330c5586f54840ea7eb7cc942b5a5c5
diff --git a/coqbot.issue-number b/coqbot.issue-number
index e69de29..67fd8e1 100644
--- a/coqbot.issue-number
+++ b/coqbot.issue-number
@@ -0,0 +1 @@
+18260
diff --git a/coqbot.passing-artifact-urls b/coqbot.passing-artifact-urls
index 8b13789..4ad17ab 100644
--- a/coqbot.passing-artifact-urls
+++ b/coqbot.passing-artifact-urls
@@ -1 +1 @@
-
+https://gitlab.inria.fr/coq/coq/-/jobs/3562526/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/3562549/artifacts/download
diff --git a/coqbot.passing-sha b/coqbot.passing-sha
index 8b13789..09fb1cb 100644
--- a/coqbot.passing-sha
+++ b/coqbot.passing-sha
@@ -1 +1 @@
-
+42bf27091fdd2c2b03ad24c474e5339bcf4cf6e9
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..a9d020f
--- /dev/null
+++ b/coqbot.resumption-args
@@ -0,0 +1,8 @@
+registry.gitlab.inria.fr/coq/coq:edge_ubuntu-V2023-08-28-93124ee272
+ci-bedrock2
+4.14.1+flambda
+https://gitlab.inria.fr/coq/coq/-/jobs/3563333/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/3563356/artifacts/download
+https://gitlab.inria.fr/coq/coq/-/jobs/3562526/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/3562549/artifacts/download
+42bf27091fdd2c2b03ad24c474e5339bcf4cf6e9
+bbce3eb87330c5586f54840ea7eb7cc942b5a5c5
+
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