Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
532 workflow runs
532 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upload tmp.log (will eventually exist) and only create url files if t… CI #1627: Commit 6907d27 pushed by JasonGross
January 11, 2024 17:22 18m 42s master
master
January 11, 2024 17:22 18m 42s
Set up CI minimization run for ci-hott CI #1626: Commit 8d49eaf pushed by coqbot
January 11, 2024 17:13 1h 34m 21s run-coq-bug-minimizer-877981496215
run-coq-bug-minimizer-877981496215
January 11, 2024 17:13 1h 34m 21s
Set up CI minimization run for ci-hott CI #1625: Commit 0ece1d9 pushed by coqbot
January 11, 2024 17:13 1h 29m 39s run-coq-bug-minimizer-3630131895177
run-coq-bug-minimizer-3630131895177
January 11, 2024 17:13 1h 29m 39s
Fix invocation of script CI #1624: Commit 0641b92 pushed by JasonGross
January 11, 2024 17:12 24m 32s master
master
January 11, 2024 17:12 24m 32s
Link to verbose log CI #1623: Commit f81a52e pushed by JasonGross
January 11, 2024 17:11 24m 32s master
master
January 11, 2024 17:11 24m 32s
Set up CI minimization run for ci-hott CI #1622: Commit af06304 pushed by coqbot
January 11, 2024 16:52 1h 13m 37s run-coq-bug-minimizer-19861786126
run-coq-bug-minimizer-19861786126
January 11, 2024 16:52 1h 13m 37s
Include links to artifacts in reply CI #1621: Commit 2f6cd1e pushed by JasonGross
January 11, 2024 16:50 8m 46s master
master
January 11, 2024 16:50 8m 46s
Set up CI minimization run for ci-hott CI #1620: Commit 170180c pushed by coqbot
January 11, 2024 16:29 1h 18m 23s run-coq-bug-minimizer-1732636992129
run-coq-bug-minimizer-1732636992129
January 11, 2024 16:29 1h 18m 23s
Fix skip_next logic CI #1619: Commit dddd03e pushed by JasonGross
January 11, 2024 16:29 8m 10s master
master
January 11, 2024 16:29 8m 10s
Fix urls CI #1618: Commit aea93cc pushed by JasonGross
January 11, 2024 16:18 8m 3s master
master
January 11, 2024 16:18 8m 3s
stamp file links CI #1617: Commit 2dc07e5 pushed by JasonGross
January 11, 2024 16:09 8m 17s master
master
January 11, 2024 16:09 8m 17s
Fix invalid id CI #1616: Commit 94ee3ad pushed by JasonGross
January 11, 2024 16:04 8m 12s master
master
January 11, 2024 16:04 8m 12s
Echo urls for uploaded artifacts CI #1615: Commit 04d5b23 pushed by JasonGross
January 11, 2024 16:03 Startup failure master
master
January 11, 2024 16:03 Startup failure
Set up CI minimization run for ci-hott CI #1614: Commit 96a1aff pushed by coqbot
January 11, 2024 15:53 9m 29s run-coq-bug-minimizer-1663902836100
run-coq-bug-minimizer-1663902836100
January 11, 2024 15:53 9m 29s
More debugging CI #1613: Commit 1608b30 pushed by JasonGross
January 11, 2024 15:53 8m 2s master
master
January 11, 2024 15:53 8m 2s
Set up CI minimization run for ci-hott CI #1612: Commit 1cfa000 pushed by coqbot
January 11, 2024 15:35 8m 6s run-coq-bug-minimizer-726583189143
run-coq-bug-minimizer-726583189143
January 11, 2024 15:35 8m 6s
Add more readable debugging info CI #1611: Commit 31537a3 pushed by JasonGross
January 11, 2024 14:55 8m 34s master
master
January 11, 2024 14:55 8m 34s
Set up CI minimization run for ci-hott CI #1610: Commit fb5a119 pushed by coqbot
January 10, 2024 11:16 9m 10s run-coq-bug-minimizer-3681788516225
run-coq-bug-minimizer-3681788516225
January 10, 2024 11:16 9m 10s
Set up CI minimization resumption run for ci-metacoq CI #1609: Commit 1a55641 pushed by coqbot
December 16, 2023 11:55 1h 54m 29s run-coq-bug-minimizer-1868705687146
run-coq-bug-minimizer-1868705687146
December 16, 2023 11:55 1h 54m 29s
Set up CI minimization resumption run for ci-metacoq CI #1608: Commit 23adbec pushed by coqbot
December 16, 2023 06:38 5h 27m 48s run-coq-bug-minimizer-316328689219
run-coq-bug-minimizer-316328689219
December 16, 2023 06:38 5h 27m 48s
Set up CI minimization resumption run for ci-metacoq CI #1607: Commit 323fe6e pushed by coqbot
December 16, 2023 01:21 5h 29m 51s run-coq-bug-minimizer-783872073242
run-coq-bug-minimizer-783872073242
December 16, 2023 01:21 5h 29m 51s
Set up CI minimization resumption run for ci-metacoq CI #1606: Commit ab9b022 pushed by coqbot
December 15, 2023 20:04 5h 24m 57s run-coq-bug-minimizer-2701915567136
run-coq-bug-minimizer-2701915567136
December 15, 2023 20:04 5h 24m 57s
Set up CI minimization resumption run for ci-metacoq CI #1605: Commit 0a9871e pushed by coqbot
December 15, 2023 14:48 5h 24m 21s run-coq-bug-minimizer-3590085209176
run-coq-bug-minimizer-3590085209176
December 15, 2023 14:48 5h 24m 21s
Set up CI minimization resumption run for ci-metacoq CI #1604: Commit bb528d9 pushed by coqbot
December 15, 2023 09:31 5h 23m 53s run-coq-bug-minimizer-3478135924152
run-coq-bug-minimizer-3478135924152
December 15, 2023 09:31 5h 23m 53s
Set up CI minimization resumption run for ci-metacoq CI #1603: Commit ba5f449 pushed by coqbot
December 15, 2023 04:14 5h 23m 9s run-coq-bug-minimizer-2147526660225
run-coq-bug-minimizer-2147526660225
December 15, 2023 04:14 5h 23m 9s
ProTip! You can narrow down the results and go further in time using created:<2023-12-15 or the other filters available.