Skip to content

Actions: coq-community/run-coq-bug-minimizer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
423 workflow runs
423 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added user script in coqbot.sh for JasonGross in JasonGross/coq-tools CI #1945: Commit d5eec09 pushed by coqbot
September 22, 2024 05:38 1m 53s run-coq-bug-minimizer-1993523150173
run-coq-bug-minimizer-1993523150173
September 22, 2024 05:38 1m 53s
Added user script in coqbot.sh for JasonGross in coq-community/run-co… CI #1944: Commit a561774 pushed by coqbot
September 22, 2024 04:54 1m 55s run-coq-bug-minimizer-3635662270248
run-coq-bug-minimizer-3635662270248
September 22, 2024 04:54 1m 55s
Added user script in coqbot.sh for JasonGross in coq-community/run-co… CI #1943: Commit 7b525ff pushed by coqbot
September 21, 2024 09:22 2h 3m 31s run-coq-bug-minimizer-296753646414
run-coq-bug-minimizer-296753646414
September 21, 2024 09:22 2h 3m 31s
Added user script in coqbot.sh for JasonGross in coq-community/run-co… CI #1942: Commit 96eedce pushed by coqbot
September 21, 2024 09:07 2h 11m 35s run-coq-bug-minimizer-3843298127161
run-coq-bug-minimizer-3843298127161
September 21, 2024 09:07 2h 11m 35s
Use mapfile to avoid losing trailing newlines CI #1941: Commit 2a295c8 pushed by JasonGross
September 21, 2024 09:07 1h 33m 20s master
master
September 21, 2024 09:07 1h 33m 20s
Added user script in coqbot.sh for JasonGross in coq-community/run-co… CI #1940: Commit d937ac2 pushed by coqbot
September 21, 2024 01:03 50m 13s run-coq-bug-minimizer-295603486205
run-coq-bug-minimizer-295603486205
September 21, 2024 01:03 50m 13s
Added user script in coqbot.sh for JasonGross in coq-community/run-co… CI #1939: Commit 6029c41 pushed by coqbot
September 21, 2024 00:57 2m 0s run-coq-bug-minimizer-344935645657
run-coq-bug-minimizer-344935645657
September 21, 2024 00:57 2m 0s
Added user script in coqbot.sh for JasonGross in coq-community/run-co… CI #1938: Commit 4300144 pushed by coqbot
September 21, 2024 00:57 2m 2s run-coq-bug-minimizer-3834685417214
run-coq-bug-minimizer-3834685417214
September 21, 2024 00:57 2m 2s
Added user script in coqbot.sh for JasonGross in coq-community/run-co… CI #1937: Commit 91db376 pushed by coqbot
September 21, 2024 00:56 2m 9s run-coq-bug-minimizer-1333073770217
run-coq-bug-minimizer-1333073770217
September 21, 2024 00:56 2m 9s
Adjust base-dir to be based on pwd (#35) CI #1936: Commit 3a439e0 pushed by JasonGross
September 21, 2024 00:56 3m 9s master
master
September 21, 2024 00:56 3m 9s
Added user script in coqbot.sh for JasonGross in coq-community/run-co… CI #1935: Commit a8f4d27 pushed by coqbot
September 21, 2024 00:54 1m 54s run-coq-bug-minimizer-1851917965130
run-coq-bug-minimizer-1851917965130
September 21, 2024 00:54 1m 54s
Added user script in coqbot.sh for JasonGross in coq/coq CI #1934: Commit 49d2c31 pushed by coqbot
September 21, 2024 00:53 51m 39s run-coq-bug-minimizer-63638787253
run-coq-bug-minimizer-63638787253
September 21, 2024 00:53 51m 39s
Added user script in coqbot.sh for JasonGross in coq-community/run-co… CI #1933: Commit 5cf76bb pushed by coqbot
September 21, 2024 00:48 2m 9s run-coq-bug-minimizer-314721369942
run-coq-bug-minimizer-314721369942
September 21, 2024 00:48 2m 9s
Added user script in coqbot.sh for JasonGross in coq-community/run-co… CI #1932: Commit 8915888 pushed by coqbot
September 21, 2024 00:48 1m 58s run-coq-bug-minimizer-241521814297
run-coq-bug-minimizer-241521814297
September 21, 2024 00:48 1m 58s
Added user script in coqbot.sh for JasonGross in coq-community/run-co… CI #1931: Commit 82e1c0f pushed by coqbot
September 21, 2024 00:47 2m 14s run-coq-bug-minimizer-3150297151124
run-coq-bug-minimizer-3150297151124
September 21, 2024 00:47 2m 14s
Added user script in coqbot.sh for JasonGross in coq-community/run-co… CI #1930: Commit 64e174c pushed by coqbot
September 21, 2024 00:47 2m 14s run-coq-bug-minimizer-2712858773158
run-coq-bug-minimizer-2712858773158
September 21, 2024 00:47 2m 14s
Added user script in coqbot.sh for JasonGross in coq/coq CI #1929: Commit b911c72 pushed by coqbot
September 21, 2024 00:46 2m 12s run-coq-bug-minimizer-1350691468118
run-coq-bug-minimizer-1350691468118
September 21, 2024 00:46 2m 12s
Adjust base-dir to be based on pwd CI #1928: Pull request #35 opened by JasonGross
September 21, 2024 00:45 3m 5s base-dir-from-pwd
base-dir-from-pwd
September 21, 2024 00:45 3m 5s
Adjust base-dir to be based on pwd CI #1927: Commit 65f53ea pushed by JasonGross
September 21, 2024 00:45 3m 14s base-dir-from-pwd
base-dir-from-pwd
September 21, 2024 00:45 3m 14s
Added user script in coqbot.sh for JasonGross in coq/coq CI #1926: Commit 3cfb125 pushed by coqbot
September 21, 2024 00:23 2m 24s run-coq-bug-minimizer-2417178738152
run-coq-bug-minimizer-2417178738152
September 21, 2024 00:23 2m 24s
Fix minimizer driver to not pass '' when args are empty CI #1925: Commit 285d57d pushed by JasonGross
September 21, 2024 00:22 3m 15s master
master
September 21, 2024 00:22 3m 15s
Added user script in coqbot.sh for SkySkimmer in coq/coq CI #1924: Commit fbe3d83 pushed by coqbot
September 20, 2024 22:46 7m 6s run-coq-bug-minimizer-2914437015235
run-coq-bug-minimizer-2914437015235
September 20, 2024 22:46 7m 6s
Set up CI minimization resumption run for ci-mathcomp CI #1923: Commit 5d41964 pushed by coqbot
September 20, 2024 09:36 32m 15s run-coq-bug-minimizer-22248291173
run-coq-bug-minimizer-22248291173
September 20, 2024 09:36 32m 15s
Set up CI minimization resumption run for ci-mathcomp CI #1922: Commit 1642f85 pushed by coqbot
September 20, 2024 04:20 5h 22m 33s run-coq-bug-minimizer-55634969361
run-coq-bug-minimizer-55634969361
September 20, 2024 04:20 5h 22m 33s
Set up CI minimization resumption run for ci-mathcomp CI #1921: Commit d37415a pushed by coqbot
September 19, 2024 23:03 5h 23m 4s run-coq-bug-minimizer-88699616972
run-coq-bug-minimizer-88699616972
September 19, 2024 23:03 5h 23m 4s