diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 55a353e..a25ab5f 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -21,7 +21,7 @@ jobs:
       uses: coq-community/docker-coq-action@v1.4.1
       with:
         #custom_image: 'registry.gitlab.com/coq/coq:CACHEKEY'
-        #coq_version: 'latest'
+        coq_version: '8.17.1'
         #ocaml_version: 'default'
         custom_script: ./timeout-run.sh
       timeout-minutes: 330 # Each job in a workflow can run for up to 6 hours of execution time, we want to make sure there's time to upload the files
diff --git a/coqbot-request-stamp b/coqbot-request-stamp
index f747925..a88dd88 100644
--- a/coqbot-request-stamp
+++ b/coqbot-request-stamp
@@ -1 +1 @@
-DUMMY
+I_kwDOABUDh85xKks9 SkySkimmer coq-community/run-coq-bug-minimizer run-coq-bug-minimizer-4030154164165 coq coq
\ No newline at end of file
diff --git a/coqbot.sh b/coqbot.sh
index 5eac660..47555f4 100644
--- a/coqbot.sh
+++ b/coqbot.sh
@@ -1,14 +1,5 @@
+git clone https://github.com/skyskimmer/CertiGraph.git --branch=refine-bug
+cd CertiGraph
 opam update -y
-opam install -y coq-ext-lib
-eval $(opam env)
-
-mkdir temp
-cd temp
-wget https://github.com/coq/coq/files/4698509/bug.v.zip
-unzip bug.v.zip
-coqc -q bug.v
-#git clone https://github.com/satnam6502/oak-hardware
-#cd oak-hardware
-#git checkout 38971a7d0f8aa04b6fa4e21d1dfda3990ecf2c66
-#cd cava/cava
-#make coq
+opam install -y coq-vst.2.12
+make -j CertiGC/refine_bug.vo
diff --git a/coqbot.url b/coqbot.url
index e69de29..a7dea7c 100644
--- a/coqbot.url
+++ b/coqbot.url
@@ -0,0 +1 @@
+https://coqbot.herokuapp.com/coq-bug-minimizer