Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
477 workflow runs
477 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Set up CI minimization run for ci-metacoq CI #1784: Commit faf1174 pushed by coqbot
May 6, 2024 20:02 5h 22m 39s run-coq-bug-minimizer-1135252682225
run-coq-bug-minimizer-1135252682225
May 6, 2024 20:02 5h 22m 39s
Set up CI minimization run for ci-mathcomp_1 CI #1783: Commit aa3d5dd pushed by coqbot
May 6, 2024 20:02 1h 50m 56s run-coq-bug-minimizer-3695144390240
run-coq-bug-minimizer-3695144390240
May 6, 2024 20:02 1h 50m 56s
Set up CI minimization run for ci-mathcomp CI #1782: Commit 1a47fec pushed by coqbot
May 6, 2024 20:02 2h 20m 19s run-coq-bug-minimizer-46939723219
run-coq-bug-minimizer-46939723219
May 6, 2024 20:02 2h 20m 19s
Set up CI minimization run for ci-iris CI #1781: Commit d07b16e pushed by coqbot
May 6, 2024 20:02 3h 48m 57s run-coq-bug-minimizer-1121416760181
run-coq-bug-minimizer-1121416760181
May 6, 2024 20:02 3h 48m 57s
add df -h CI #1780: Commit 93a417d pushed by JasonGross
April 11, 2024 06:25 9m 54s master
master
April 11, 2024 06:25 9m 54s
Update main.yml: df -h CI #1779: Commit 55f98fd pushed by JasonGross
April 11, 2024 06:16 9m 45s master
master
April 11, 2024 06:16 9m 45s
Set up CI minimization run for ci-fiat_crypto CI #1778: Commit fe78605 pushed by coqbot
April 10, 2024 13:34 12m 45s run-coq-bug-minimizer-3134623371201
run-coq-bug-minimizer-3134623371201
April 10, 2024 13:34 12m 45s
Set up CI minimization run for ci-equations_test CI #1777: Commit b35ccfb pushed by coqbot
March 29, 2024 23:25 8m 29s run-coq-bug-minimizer-551732864196
run-coq-bug-minimizer-551732864196
March 29, 2024 23:25 8m 29s
Set up CI minimization run for ci-fiat_crypto CI #1776: Commit 4a6c8c4 pushed by coqbot
March 20, 2024 10:56 1h 16m 49s run-coq-bug-minimizer-140457185560
run-coq-bug-minimizer-140457185560
March 20, 2024 10:56 1h 16m 49s
Set up CI minimization resumption run for ci-iris CI #1775: Commit 922b452 pushed by coqbot
March 19, 2024 20:20 7m 7s run-coq-bug-minimizer-331540965346
run-coq-bug-minimizer-331540965346
March 19, 2024 20:20 7m 7s
Set up CI minimization run for ci-math_classes CI #1774: Commit dee36b3 pushed by coqbot
March 19, 2024 15:04 22m 26s run-coq-bug-minimizer-239497792551
run-coq-bug-minimizer-239497792551
March 19, 2024 15:04 22m 26s
Set up CI minimization run for ci-iris CI #1773: Commit f00b8ab pushed by coqbot
March 19, 2024 15:04 5h 22m 32s run-coq-bug-minimizer-854490644109
run-coq-bug-minimizer-854490644109
March 19, 2024 15:04 5h 22m 32s
Set up CI minimization run for ci-compcert CI #1772: Commit 4c3eb5c pushed by coqbot
March 19, 2024 15:04 42m 37s run-coq-bug-minimizer-166131867218
run-coq-bug-minimizer-166131867218
March 19, 2024 15:04 42m 37s
Set up CI minimization run for ci-bedrock2 CI #1771: Commit c6cf41d pushed by coqbot
March 19, 2024 15:04 38m 23s run-coq-bug-minimizer-113484580118
run-coq-bug-minimizer-113484580118
March 19, 2024 15:04 38m 23s
Set up CI minimization resumption run for ci-iris CI #1770: Commit ecdd342 pushed by coqbot
March 19, 2024 08:02 4h 30m 34s run-coq-bug-minimizer-58017237623
run-coq-bug-minimizer-58017237623
March 19, 2024 08:02 4h 30m 34s
Set up CI minimization resumption run for ci-iris CI #1769: Commit b045e4a pushed by coqbot
March 19, 2024 02:44 5h 26m 20s run-coq-bug-minimizer-139956984796
run-coq-bug-minimizer-139956984796
March 19, 2024 02:44 5h 26m 20s
Don't display a doubled close parenthsis for verbose log CI #1768: Commit 2e8966f pushed by JasonGross
March 18, 2024 22:02 10m 47s master
master
March 18, 2024 22:02 10m 47s
Set up CI minimization resumption run for ci-iris CI #1767: Commit 05cd04f pushed by coqbot
March 18, 2024 21:24 5h 25m 40s run-coq-bug-minimizer-3670199128217
run-coq-bug-minimizer-3670199128217
March 18, 2024 21:24 5h 25m 40s
Set up CI minimization run for ci-metacoq CI #1766: Commit b835d8b pushed by coqbot
March 18, 2024 16:20 31m 42s run-coq-bug-minimizer-15867480043
run-coq-bug-minimizer-15867480043
March 18, 2024 16:20 31m 42s
Set up CI minimization run for ci-fiat_parsers CI #1765: Commit 553e673 pushed by coqbot
March 18, 2024 16:18 31m 24s run-coq-bug-minimizer-3557101886185
run-coq-bug-minimizer-3557101886185
March 18, 2024 16:18 31m 24s
Set up CI minimization run for ci-iris CI #1764: Commit 8b0366d pushed by coqbot
March 18, 2024 16:06 5h 24m 28s run-coq-bug-minimizer-2178291435170
run-coq-bug-minimizer-2178291435170
March 18, 2024 16:06 5h 24m 28s
Set up CI minimization run for ci-hott CI #1763: Commit c7b3a7a pushed by coqbot
March 18, 2024 16:06 6h 5m 9s run-coq-bug-minimizer-3589613995230
run-coq-bug-minimizer-3589613995230
March 18, 2024 16:06 6h 5m 9s
Set up CI minimization run for ci-color CI #1762: Commit 18a7d6e pushed by coqbot
March 18, 2024 16:06 1h 32m 42s run-coq-bug-minimizer-320021667598
run-coq-bug-minimizer-320021667598
March 18, 2024 16:06 1h 32m 42s
Set up CI minimization run for ci-flocq CI #1761: Commit 6df9e7f pushed by coqbot
March 18, 2024 16:06 25m 54s run-coq-bug-minimizer-136846140166
run-coq-bug-minimizer-136846140166
March 18, 2024 16:06 25m 54s
Set up CI minimization run for ci-hott CI #1760: Commit 46862b0 pushed by coqbot
March 15, 2024 12:34 31m 24s run-coq-bug-minimizer-65788187379
run-coq-bug-minimizer-65788187379
March 15, 2024 12:34 31m 24s
ProTip! You can narrow down the results and go further in time using created:<2024-03-15 or the other filters available.