Added user script in coqbot.sh for SkySkimmer in coq/coq

Comment Thread ID: I_kwDOABUDh85xKks9

.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

coqbot-request-stamp

@@ -1 +1 @@
-DUMMY
+I_kwDOABUDh85xKks9 SkySkimmer coq-community/run-coq-bug-minimizer run-coq-bug-minimizer-4030154164165 coq coq

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

coqbot.url

@@ -0,0 +1 @@
+https://coqbot.herokuapp.com/coq-bug-minimizer