diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index b63b798..4c92ead 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:old_ubuntu_lts-V2023-11-30-7323af070e'
         #coq_version: 'latest'
         #ocaml_version: 'default'
         custom_script: ./timeout-run.sh
diff --git a/coqbot-request-stamp b/coqbot-request-stamp
index f747925..5adf307 100644
--- a/coqbot-request-stamp
+++ b/coqbot-request-stamp
@@ -1 +1 @@
-DUMMY
+PR_kwDOABUDh85j0ze5 <> coq-community/run-coq-bug-minimizer run-coq-bug-minimizer-1663902836100 coq coq 18491
\ No newline at end of file
diff --git a/coqbot.ci-target b/coqbot.ci-target
index 2359f92..3b34e50 100644
--- a/coqbot.ci-target
+++ b/coqbot.ci-target
@@ -1 +1 @@
-TAKE FROM failing-log.log
+ci-hott
diff --git a/coqbot.compiler b/coqbot.compiler
index 2da4316..92c3b40 100644
--- a/coqbot.compiler
+++ b/coqbot.compiler
@@ -1 +1 @@
-4.10.0
+4.09.0
diff --git a/coqbot.failing-artifact-urls b/coqbot.failing-artifact-urls
index 8b13789..bc1177b 100644
--- a/coqbot.failing-artifact-urls
+++ b/coqbot.failing-artifact-urls
@@ -1 +1 @@
-
+https://gitlab.inria.fr/coq/coq/-/jobs/3760654/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/3760699/artifacts/download
diff --git a/coqbot.failing-sha b/coqbot.failing-sha
index 8b13789..8c5fcc4 100644
--- a/coqbot.failing-sha
+++ b/coqbot.failing-sha
@@ -1 +1 @@
-
+3d8620811fe99237919c780b4b31771ab7a2fa7c
diff --git a/coqbot.issue-number b/coqbot.issue-number
index e69de29..e13cb60 100644
--- a/coqbot.issue-number
+++ b/coqbot.issue-number
@@ -0,0 +1 @@
+18491
diff --git a/coqbot.passing-artifact-urls b/coqbot.passing-artifact-urls
index 8b13789..a76e75b 100644
--- a/coqbot.passing-artifact-urls
+++ b/coqbot.passing-artifact-urls
@@ -1 +1 @@
-
+https://gitlab.inria.fr/coq/coq/-/jobs/3757916/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/3757961/artifacts/download
diff --git a/coqbot.passing-sha b/coqbot.passing-sha
index 8b13789..0bfb3c3 100644
--- a/coqbot.passing-sha
+++ b/coqbot.passing-sha
@@ -1 +1 @@
-
+068232d2c884b6ac829d800e417682ba57b3ca6a
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..0324d4c
--- /dev/null
+++ b/coqbot.resumption-args
@@ -0,0 +1,8 @@
+registry.gitlab.inria.fr/coq/coq:old_ubuntu_lts-V2023-11-30-7323af070e
+ci-hott
+4.09.0
+https://gitlab.inria.fr/coq/coq/-/jobs/3760654/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/3760699/artifacts/download
+https://gitlab.inria.fr/coq/coq/-/jobs/3757916/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/3757961/artifacts/download
+068232d2c884b6ac829d800e417682ba57b3ca6a
+3d8620811fe99237919c780b4b31771ab7a2fa7c
+
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