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

Actually post both head and tail of the minimized file CI #1595: Commit e7abfc2 pushed by JasonGross
November 20, 2023 17:39 8m 1s master
master
November 20, 2023 17:39 8m 1s
Set up CI minimization resumption run for ci-analysis CI #1594: Commit 572896a pushed by coqbot
November 16, 2023 09:42 7m 13s run-coq-bug-minimizer-3836335409234
run-coq-bug-minimizer-3836335409234
November 16, 2023 09:42 7m 13s
Set up CI minimization resumption run for ci-analysis CI #1593: Commit 129fd45 pushed by coqbot
November 16, 2023 04:25 5h 40m 11s run-coq-bug-minimizer-3596852590249
run-coq-bug-minimizer-3596852590249
November 16, 2023 04:25 5h 40m 11s
Set up CI minimization run for ci-analysis CI #1592: Commit 260c14f pushed by coqbot
November 15, 2023 23:08 5h 40m 28s run-coq-bug-minimizer-61440685032
run-coq-bug-minimizer-61440685032
November 15, 2023 23:08 5h 40m 28s
Set up CI minimization run for ci-metacoq CI #1591: Commit ae8a409 pushed by coqbot
November 14, 2023 07:11 3h 11m 49s run-coq-bug-minimizer-391899341207
run-coq-bug-minimizer-391899341207
November 14, 2023 07:11 3h 11m 49s
Set up CI minimization run for ci-mathcomp_1 CI #1590: Commit 5bca31e pushed by coqbot
November 14, 2023 07:11 2h 13m 6s run-coq-bug-minimizer-150397519142
run-coq-bug-minimizer-150397519142
November 14, 2023 07:11 2h 13m 6s
Set up CI minimization run for ci-mathcomp CI #1589: Commit 94e3be4 pushed by coqbot
November 14, 2023 07:11 2h 24m 23s run-coq-bug-minimizer-212485683598
run-coq-bug-minimizer-212485683598
November 14, 2023 07:11 2h 24m 23s
Set up CI minimization run for ci-bedrock2 CI #1588: Commit 4e94c50 pushed by coqbot
November 7, 2023 08:16 59m 14s run-coq-bug-minimizer-1857617458104
run-coq-bug-minimizer-1857617458104
November 7, 2023 08:16 59m 14s
Post both head and tail of file when truncating CI #1587: Commit 6fe9e96 pushed by JasonGross
November 1, 2023 20:55 12m 16s master
master
November 1, 2023 20:55 12m 16s
Added user script in coqbot.sh for JasonGross in coq-community/run-co… CI #1586: Commit 71365c2 pushed by coqbot
November 1, 2023 20:46 5h 20m 23s run-coq-bug-minimizer-278469374274
run-coq-bug-minimizer-278469374274
November 1, 2023 20:46 5h 20m 23s
Fix handling of COQPATH CI #1585: Commit a3d4de4 pushed by JasonGross
November 1, 2023 20:45 10m 53s master
master
November 1, 2023 20:45 10m 53s
Added user script in coqbot.sh for JasonGross in coq/coq CI #1584: Commit 1f5a468 pushed by coqbot
November 1, 2023 05:34 10m 29s run-coq-bug-minimizer-100990064723
run-coq-bug-minimizer-100990064723
November 1, 2023 05:34 10m 29s
Set up CI minimization resumption run for ci-analysis CI #1583: Commit c20ac1d pushed by coqbot
October 25, 2023 09:27 2h 29m 57s run-coq-bug-minimizer-1314138378231
run-coq-bug-minimizer-1314138378231
October 25, 2023 09:27 2h 29m 57s
Set up CI minimization resumption run for ci-analysis CI #1582: Commit b2087b6 pushed by coqbot
October 25, 2023 04:10 5h 48m 27s run-coq-bug-minimizer-1216691612175
run-coq-bug-minimizer-1216691612175
October 25, 2023 04:10 5h 48m 27s
Set up CI minimization resumption run for ci-analysis CI #1581: Commit e008b86 pushed by coqbot
October 24, 2023 22:53 5h 44m 50s run-coq-bug-minimizer-45042489576
run-coq-bug-minimizer-45042489576
October 24, 2023 22:53 5h 44m 50s
Set up CI minimization resumption run for ci-analysis CI #1580: Commit 15416de pushed by coqbot
October 24, 2023 17:36 5h 53m 25s run-coq-bug-minimizer-3510384340197
run-coq-bug-minimizer-3510384340197
October 24, 2023 17:36 5h 53m 25s
Set up CI minimization run for ci-analysis CI #1579: Commit a40a8b6 pushed by coqbot
October 24, 2023 12:19 5h 44m 35s run-coq-bug-minimizer-4129685432200
run-coq-bug-minimizer-4129685432200
October 24, 2023 12:19 5h 44m 35s
Set up CI minimization run for ci-neural_net_interp CI #1578: Commit 5f89d75 pushed by coqbot
October 14, 2023 07:57 3h 35m 39s run-coq-bug-minimizer-233184693148
run-coq-bug-minimizer-233184693148
October 14, 2023 07:57 3h 35m 39s
Added user script in coqbot.sh for doside in coq/coq CI #1577: Commit 93cd60b pushed by coqbot
October 9, 2023 09:26 2m 5s run-coq-bug-minimizer-294171086854
run-coq-bug-minimizer-294171086854
October 9, 2023 09:26 2m 5s
Set up CI minimization resumption run for ci-oddorder CI #1576: Commit 3254584 pushed by coqbot
September 25, 2023 07:05 31m 4s run-coq-bug-minimizer-2574408210139
run-coq-bug-minimizer-2574408210139
September 25, 2023 07:05 31m 4s
Set up CI minimization resumption run for ci-oddorder CI #1575: Commit 448e33a pushed by coqbot
September 25, 2023 01:48 5h 45m 24s run-coq-bug-minimizer-1734973295214
run-coq-bug-minimizer-1734973295214
September 25, 2023 01:48 5h 45m 24s
Added user script in coqbot.sh for SkySkimmer in coq/coq CI #1574: Commit 57b6bd7 pushed by coqbot
September 24, 2023 21:07 5h 27m 31s run-coq-bug-minimizer-4030154164165
run-coq-bug-minimizer-4030154164165
September 24, 2023 21:07 5h 27m 31s
Set up CI minimization resumption run for ci-oddorder CI #1573: Commit c42eb0c pushed by coqbot
September 24, 2023 20:31 5h 46m 10s run-coq-bug-minimizer-2993776930146
run-coq-bug-minimizer-2993776930146
September 24, 2023 20:31 5h 46m 10s
Added user script in coqbot.sh for SkySkimmer in coq/coq CI #1572: Commit ae35fda pushed by coqbot
September 24, 2023 15:29 5h 28m 26s run-coq-bug-minimizer-2491667668175
run-coq-bug-minimizer-2491667668175
September 24, 2023 15:29 5h 28m 26s
Set up CI minimization resumption run for ci-oddorder CI #1571: Commit a1096a1 pushed by coqbot
September 24, 2023 15:13 5h 51m 49s run-coq-bug-minimizer-21775455548
run-coq-bug-minimizer-21775455548
September 24, 2023 15:13 5h 51m 49s
ProTip! You can narrow down the results and go further in time using created:<2023-09-24 or the other filters available.