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

Comment Thread ID: I_kwDOABUDh86XX9-Q
coq-community · Sep 21, 2024 · 3cfb125 · 3cfb125
1 parent 285d57d
commit 3cfb125
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 15 deletions.
diff --git a/coqbot-request-stamp b/coqbot-request-stamp
@@ -1 +1 @@
-DUMMY
+I_kwDOABUDh86XX9-Q JasonGross coq-community/run-coq-bug-minimizer run-coq-bug-minimizer-2417178738152 coq coq
diff --git a/coqbot.sh b/coqbot.sh
@@ -1,14 +1,4 @@
-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
+#!/usr/bin/env bash
+git clone "https://github.com/roglo/puiseuxth.git" -b coq-8.20.0
+cd puiseuxth/coq
+make
diff --git a/coqbot.url b/coqbot.url
@@ -0,0 +1 @@
+https://coqbot.herokuapp.com/coq-bug-minimizer
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		DUMMY
		I_kwDOABUDh86XX9-Q JasonGross coq-community/run-coq-bug-minimizer run-coq-bug-minimizer-2417178738152 coq coq