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

Set up CI minimization resumption run for ci-oddorder CI #1570: Commit ccb5e94 pushed by coqbot
September 24, 2023 09:56 5h 53m 7s run-coq-bug-minimizer-2734320446228
run-coq-bug-minimizer-2734320446228
September 24, 2023 09:56 5h 53m 7s
Added user script in coqbot.sh for SkySkimmer in coq/coq CI #1569: Commit 0b52ba8 pushed by coqbot
September 24, 2023 09:00 5h 25m 26s run-coq-bug-minimizer-127747296239
run-coq-bug-minimizer-127747296239
September 24, 2023 09:00 5h 25m 26s
Set up CI minimization resumption run for ci-oddorder CI #1568: Commit a3348e4 pushed by coqbot
September 24, 2023 04:39 5h 45m 58s run-coq-bug-minimizer-257712388571
run-coq-bug-minimizer-257712388571
September 24, 2023 04:39 5h 45m 58s
Set up CI minimization resumption run for ci-oddorder CI #1567: Commit d788389 pushed by coqbot
September 23, 2023 23:22 5h 52m 23s run-coq-bug-minimizer-3348309580237
run-coq-bug-minimizer-3348309580237
September 23, 2023 23:22 5h 52m 23s
Added user script in coqbot.sh for SkySkimmer in coq/coq CI #1566: Commit 70d1ff1 pushed by coqbot
September 23, 2023 20:26 5h 24m 1s run-coq-bug-minimizer-3262683656153
run-coq-bug-minimizer-3262683656153
September 23, 2023 20:26 5h 24m 1s
Set up CI minimization resumption run for ci-oddorder CI #1565: Commit ddf8814 pushed by coqbot
September 23, 2023 18:05 5h 42m 58s run-coq-bug-minimizer-1771365074171
run-coq-bug-minimizer-1771365074171
September 23, 2023 18:05 5h 42m 58s
Set up CI minimization resumption run for ci-oddorder CI #1564: Commit 9ddb6ef pushed by coqbot
September 23, 2023 12:47 5h 51m 51s run-coq-bug-minimizer-2922216491131
run-coq-bug-minimizer-2922216491131
September 23, 2023 12:47 5h 51m 51s
Added user script in coqbot.sh for SkySkimmer in coq/coq CI #1563: Commit 3f73c52 pushed by coqbot
September 23, 2023 12:18 5h 24m 13s run-coq-bug-minimizer-57554880220
run-coq-bug-minimizer-57554880220
September 23, 2023 12:18 5h 24m 13s
Set up CI minimization resumption run for ci-oddorder CI #1562: Commit 4792162 pushed by coqbot
September 23, 2023 07:30 5h 52m 44s run-coq-bug-minimizer-1186637973149
run-coq-bug-minimizer-1186637973149
September 23, 2023 07:30 5h 52m 44s
Added user script in coqbot.sh for SkySkimmer in coq/coq CI #1561: Commit 06a33a0 pushed by coqbot
September 23, 2023 06:50 5h 23m 2s run-coq-bug-minimizer-417664286577
run-coq-bug-minimizer-417664286577
September 23, 2023 06:50 5h 23m 2s
Set up CI minimization resumption run for ci-oddorder CI #1560: Commit 3e06715 pushed by coqbot
September 23, 2023 02:13 5h 45m 11s run-coq-bug-minimizer-124982383246
run-coq-bug-minimizer-124982383246
September 23, 2023 02:13 5h 45m 11s
Added user script in coqbot.sh for SkySkimmer in coq/coq CI #1559: Commit 5d2a949 pushed by coqbot
September 22, 2023 22:46 5h 21m 40s run-coq-bug-minimizer-55712046926
run-coq-bug-minimizer-55712046926
September 22, 2023 22:46 5h 21m 40s
Set up CI minimization run for ci-oddorder CI #1558: Commit 657c79b pushed by coqbot
September 22, 2023 20:56 5h 43m 7s run-coq-bug-minimizer-82898239884
run-coq-bug-minimizer-82898239884
September 22, 2023 20:56 5h 43m 7s
Added user script in coqbot.sh for SkySkimmer in coq/coq CI #1557: Commit d8788e0 pushed by coqbot
September 22, 2023 17:19 5h 20m 43s run-coq-bug-minimizer-3770884769243
run-coq-bug-minimizer-3770884769243
September 22, 2023 17:19 5h 20m 43s
Added user script in coqbot.sh for SkySkimmer in coq/coq CI #1556: Commit f826712 pushed by coqbot
September 22, 2023 11:41 5h 27m 1s run-coq-bug-minimizer-169857970649
run-coq-bug-minimizer-169857970649
September 22, 2023 11:41 5h 27m 1s
Added user script in coqbot.sh for SkySkimmer in coq/coq CI #1555: Commit 0f01523 pushed by coqbot
September 21, 2023 15:50 40m 35s run-coq-bug-minimizer-1626204201204
run-coq-bug-minimizer-1626204201204
September 21, 2023 15:50 40m 35s
Added user script in coqbot.sh for SkySkimmer in coq/coq CI #1554: Commit b9fa2b3 pushed by coqbot
September 20, 2023 11:41 5h 16m 36s run-coq-bug-minimizer-181653273430
run-coq-bug-minimizer-181653273430
September 20, 2023 11:41 5h 16m 36s
Added user script in coqbot.sh for JasonGross in coq/coq CI #1553: Commit 5ae5c84 pushed by coqbot
September 15, 2023 20:59 5h 16m 52s run-coq-bug-minimizer-3596581597233
run-coq-bug-minimizer-3596581597233
September 15, 2023 20:59 5h 16m 52s
Handle .//foo prefix in files CI #1552: Commit a737876 pushed by JasonGross
September 15, 2023 20:57 4m 3s master
master
September 15, 2023 20:57 4m 3s
Added user script in coqbot.sh for JasonGross in coq/coq CI #1551: Commit ebe0e21 pushed by coqbot
September 15, 2023 19:57 37m 51s run-coq-bug-minimizer-2936414338210
run-coq-bug-minimizer-2936414338210
September 15, 2023 19:57 37m 51s
Added user script in coqbot.sh for JasonGross in coq/coq CI #1550: Commit e68747a pushed by coqbot
September 15, 2023 18:39 35m 48s run-coq-bug-minimizer-410611533631
run-coq-bug-minimizer-410611533631
September 15, 2023 18:39 35m 48s
Added user script in coqbot.sh for JasonGross in coq/coq CI #1549: Commit fd805e3 pushed by coqbot
September 15, 2023 17:42 51m 12s run-coq-bug-minimizer-1628336654102
run-coq-bug-minimizer-1628336654102
September 15, 2023 17:42 51m 12s
Added user script in coqbot.sh for doside in coq/coq CI #1548: Commit fd6fcd3 pushed by coqbot
September 8, 2023 16:22 2m 11s run-coq-bug-minimizer-3857380483176
run-coq-bug-minimizer-3857380483176
September 8, 2023 16:22 2m 11s
Bump actions/checkout from 3 to 4 (#28) CI #1547: Commit 078ed45 pushed by JasonGross
September 4, 2023 18:02 4m 16s master
master
September 4, 2023 18:02 4m 16s
Bump actions/checkout from 3 to 4 CI #1546: Pull request #28 opened by dependabot bot
September 4, 2023 17:52 4m 13s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 4, 2023 17:52 4m 13s
ProTip! You can narrow down the results and go further in time using created:<2023-09-04 or the other filters available.