Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
441 workflow runs
441 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Set up CI minimization resumption run for ci-hott CI #1914: Commit 8d4f176 pushed by coqbot
September 18, 2024 12:30 10m 21s run-coq-bug-minimizer-3009390330116
run-coq-bug-minimizer-3009390330116
September 18, 2024 12:30 10m 21s
Set up CI minimization run for ci-hott CI #1913: Commit 33e944f pushed by coqbot
September 17, 2024 16:46 1h 25m 21s run-coq-bug-minimizer-178210958619
run-coq-bug-minimizer-178210958619
September 17, 2024 16:46 1h 25m 21s
Set up CI minimization resumption run for ci-iris CI #1912: Commit fcc839a pushed by coqbot
September 17, 2024 03:55 4h 43m 12s run-coq-bug-minimizer-1544820892227
run-coq-bug-minimizer-1544820892227
September 17, 2024 03:55 4h 43m 12s
Set up CI minimization resumption run for ci-perennial CI #1911: Commit 5335d96 pushed by coqbot
September 17, 2024 03:55 4h 59m 15s run-coq-bug-minimizer-2053247522202
run-coq-bug-minimizer-2053247522202
September 17, 2024 03:55 4h 59m 15s
Set up CI minimization run for ci-metacoq CI #1910: Commit c8c73e0 pushed by coqbot
September 17, 2024 02:57 1h 39m 9s run-coq-bug-minimizer-1120551232190
run-coq-bug-minimizer-1120551232190
September 17, 2024 02:57 1h 39m 9s
Set up CI minimization resumption run for ci-math_classes CI #1909: Commit d2cc5fc pushed by coqbot
September 17, 2024 01:41 48m 53s run-coq-bug-minimizer-412363826151
run-coq-bug-minimizer-412363826151
September 17, 2024 01:41 48m 53s
Set up CI minimization resumption run for ci-vst CI #1908: Commit dcd91b9 pushed by coqbot
September 17, 2024 01:18 2h 16m 15s run-coq-bug-minimizer-386040532574
run-coq-bug-minimizer-386040532574
September 17, 2024 01:18 2h 16m 15s
Set up CI minimization run for ci-vst CI #1907: Commit 243afc0 pushed by coqbot
September 17, 2024 01:18 19m 45s run-coq-bug-minimizer-321994072170
run-coq-bug-minimizer-321994072170
September 17, 2024 01:18 19m 45s
Set up CI minimization run for ci-vst CI #1906: Commit 020d30a pushed by coqbot
September 16, 2024 22:38 1h 27m 6s run-coq-bug-minimizer-179957774564
run-coq-bug-minimizer-179957774564
September 16, 2024 22:38 1h 27m 6s
Set up CI minimization run for ci-relation_algebra CI #1905: Commit 1426817 pushed by coqbot
September 16, 2024 22:38 1h 9m 40s run-coq-bug-minimizer-276254488137
run-coq-bug-minimizer-276254488137
September 16, 2024 22:38 1h 9m 40s
Set up CI minimization run for ci-perennial CI #1904: Commit 04f8207 pushed by coqbot
September 16, 2024 22:38 5h 22m 48s run-coq-bug-minimizer-303296122463
run-coq-bug-minimizer-303296122463
September 16, 2024 22:38 5h 22m 48s
Set up CI minimization run for ci-mtac2 CI #1903: Commit b017ea2 pushed by coqbot
September 16, 2024 22:38 23m 31s run-coq-bug-minimizer-507371476196
run-coq-bug-minimizer-507371476196
September 16, 2024 22:38 23m 31s
Set up CI minimization run for ci-metacoq CI #1902: Commit f177d1f pushed by coqbot
September 16, 2024 22:38 10m 39s run-coq-bug-minimizer-18929173075
run-coq-bug-minimizer-18929173075
September 16, 2024 22:38 10m 39s
Set up CI minimization run for ci-math_classes CI #1901: Commit 719fc28 pushed by coqbot
September 16, 2024 22:38 12m 47s run-coq-bug-minimizer-2324593081182
run-coq-bug-minimizer-2324593081182
September 16, 2024 22:38 12m 47s
Set up CI minimization run for ci-iris CI #1900: Commit ff4c6a5 pushed by coqbot
September 16, 2024 22:38 5h 22m 52s run-coq-bug-minimizer-334936108630
run-coq-bug-minimizer-334936108630
September 16, 2024 22:38 5h 22m 52s
Set up CI minimization run for ci-hott CI #1899: Commit eac6339 pushed by coqbot
September 16, 2024 22:38 39m 41s run-coq-bug-minimizer-3034943018111
run-coq-bug-minimizer-3034943018111
September 16, 2024 22:38 39m 41s
Set up CI minimization run for ci-fiat_crypto_legacy CI #1898: Commit 1c205b1 pushed by coqbot
September 16, 2024 22:38 18m 9s run-coq-bug-minimizer-2241920896198
run-coq-bug-minimizer-2241920896198
September 16, 2024 22:38 18m 9s
Set up CI minimization run for ci-ext_lib CI #1897: Commit 88e21d4 pushed by coqbot
September 16, 2024 22:38 13m 10s run-coq-bug-minimizer-35411938191
run-coq-bug-minimizer-35411938191
September 16, 2024 22:38 13m 10s
Set up CI minimization run for ci-deriving CI #1896: Commit 08c7e12 pushed by coqbot
September 16, 2024 22:38 2h 49m 15s run-coq-bug-minimizer-364509732672
run-coq-bug-minimizer-364509732672
September 16, 2024 22:38 2h 49m 15s
Set up CI minimization run for ci-coqutil CI #1895: Commit 531f19c pushed by coqbot
September 16, 2024 22:38 15m 3s run-coq-bug-minimizer-413216878091
run-coq-bug-minimizer-413216878091
September 16, 2024 22:38 15m 3s
Set up CI minimization run for ci-math_classes CI #1894: Commit 2ac75ea pushed by coqbot
September 16, 2024 18:31 16m 54s run-coq-bug-minimizer-383168702173
run-coq-bug-minimizer-383168702173
September 16, 2024 18:31 16m 54s
Set up CI minimization run for ci-unimath CI #1893: Commit dd72df3 pushed by coqbot
September 16, 2024 18:31 1h 28m 8s run-coq-bug-minimizer-155275489952
run-coq-bug-minimizer-155275489952
September 16, 2024 18:31 1h 28m 8s
Added user script in coqbot.sh for JasonGross in coq/coq CI #1892: Commit c0ff08a pushed by coqbot
September 13, 2024 23:10 15m 48s run-coq-bug-minimizer-109879390881
run-coq-bug-minimizer-109879390881
September 13, 2024 23:10 15m 48s
Added user script in coqbot.sh for SkySkimmer in coq/coq CI #1891: Commit 1adb78c pushed by coqbot
September 13, 2024 20:29 7m 14s run-coq-bug-minimizer-102057323090
run-coq-bug-minimizer-102057323090
September 13, 2024 20:29 7m 14s
Added user script in coqbot.sh for JasonGross in JasonGross/coq-tools CI #1890: Commit 4072148 pushed by coqbot
September 12, 2024 17:08 8m 59s run-coq-bug-minimizer-2090350847156
run-coq-bug-minimizer-2090350847156
September 12, 2024 17:08 8m 59s