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

Pass --ocamlpath, --passing-ocamlpath, to work with https://github.co… CI #2078: Commit ba902ac pushed by JasonGross
February 9, 2025 21:02 3m 7s master
master
February 9, 2025 21:02 3m 7s
Read off ocamlpath CI #2077: Commit 5ce8ef7 pushed by JasonGross
February 9, 2025 19:43 2m 59s master
master
February 9, 2025 19:43 2m 59s
Revert "Include OCAMLPATH in coq_environemnt" CI #2076: Commit 139ecc4 pushed by JasonGross
February 9, 2025 19:39 3m 8s master
master
February 9, 2025 19:39 3m 8s
Set up CI minimization run for ci-stdlib CI #2075: Commit a863f23 pushed by coqbot
February 9, 2025 18:26 13m 2s run-coq-bug-minimizer-3894326746112
run-coq-bug-minimizer-3894326746112
February 9, 2025 18:26 13m 2s
Set up CI minimization run for ci-stdlib CI #2074: Commit 79b2d18 pushed by coqbot
February 9, 2025 18:26 11m 31s run-coq-bug-minimizer-3754276819209
run-coq-bug-minimizer-3754276819209
February 9, 2025 18:26 11m 31s
Include OCAMLPATH in coq_environemnt CI #2073: Commit 28c9f78 pushed by JasonGross
February 9, 2025 18:25 2m 54s master
master
February 9, 2025 18:25 2m 54s
Set up CI minimization run for ci-stdlib CI #2072: Commit 86d15ee pushed by coqbot
February 9, 2025 17:42 13m 6s run-coq-bug-minimizer-181990806149
run-coq-bug-minimizer-181990806149
February 9, 2025 17:42 13m 6s
Set up CI minimization run for ci-stdlib CI #2071: Commit 68c3da5 pushed by coqbot
February 9, 2025 17:42 8m 12s run-coq-bug-minimizer-344040015126
run-coq-bug-minimizer-344040015126
February 9, 2025 17:42 8m 12s
Minor cleanup CI #2070: Commit f535d31 pushed by JasonGross
February 9, 2025 17:41 3m 9s master
master
February 9, 2025 17:41 3m 9s
Use the backup bug log more aggressively CI #2069: Commit 3551d6f pushed by JasonGross
February 9, 2025 17:40 2m 59s master
master
February 9, 2025 17:40 2m 59s
Hardcode TMPDIR to /tmp CI #2068: Commit 0e2a441 pushed by JasonGross
February 9, 2025 17:34 3m 10s master
master
February 9, 2025 17:34 3m 10s
Set up CI minimization run for ci-stdlib CI #2067: Commit c240049 pushed by coqbot
February 9, 2025 14:20 10m 56s run-coq-bug-minimizer-1504603940215
run-coq-bug-minimizer-1504603940215
February 9, 2025 14:20 10m 56s
Set up CI minimization run for ci-stdlib CI #2066: Commit 5b6647c pushed by coqbot
February 9, 2025 14:20 42s run-coq-bug-minimizer-404670219718
run-coq-bug-minimizer-404670219718
February 9, 2025 14:20 42s
github_actions in /. - Update #960668419 Dependabot Updates #49: by dependabot bot
February 7, 2025 17:28 34s master
master
February 7, 2025 17:28 34s
github_actions in /. - Update #960667343 Dependabot Updates #48: by dependabot bot
February 7, 2025 17:26 29s master
master
February 7, 2025 17:26 29s
Bump coq-community/docker-coq-action from 1.5.0 to 1.5.1 CI #2065: Pull request #38 opened by dependabot bot
February 6, 2025 17:34 2m 59s dependabot/github_actions/coq-community/docker-coq-action-1.5.1
dependabot/github_actions/coq-community/docker-coq-action-1.5.1
February 6, 2025 17:34 2m 59s
Bump coq-community/docker-coq-action from 1.5.0 to 1.5.1 CI #2064: Commit 3805290 pushed by dependabot bot
February 6, 2025 17:34 2m 52s dependabot/github_actions/coq-community/docker-coq-action-1.5.1
dependabot/github_actions/coq-community/docker-coq-action-1.5.1
February 6, 2025 17:34 2m 52s
github_actions in /. - Update #960113082 Dependabot Updates #47: by dependabot bot
February 6, 2025 17:34 34s master
master
February 6, 2025 17:34 34s
github_actions in /. - Update #959554268 Dependabot Updates #46: by dependabot bot
February 5, 2025 17:05 35s master
master
February 5, 2025 17:05 35s
github_actions in /. - Update #958950408 Dependabot Updates #45: by dependabot bot
February 4, 2025 17:05 23m 49s master
master
February 4, 2025 17:05 23m 49s
Set up CI minimization resumption run for ci-fiat_crypto CI #2063: Commit 70b3fb0 pushed by coqbot
February 4, 2025 09:55 14m 1s run-coq-bug-minimizer-365055881252
run-coq-bug-minimizer-365055881252
February 4, 2025 09:55 14m 1s
Set up CI minimization resumption run for ci-fiat_crypto CI #2062: Commit dcaf3fb pushed by coqbot
February 4, 2025 04:39 5h 24m 20s run-coq-bug-minimizer-111997727374
run-coq-bug-minimizer-111997727374
February 4, 2025 04:39 5h 24m 20s
Set up CI minimization resumption run for ci-fiat_crypto CI #2061: Commit 20ebb36 pushed by coqbot
February 3, 2025 23:22 5h 23m 48s run-coq-bug-minimizer-2435056368220
run-coq-bug-minimizer-2435056368220
February 3, 2025 23:22 5h 23m 48s
Set up CI minimization run for ci-fiat_crypto CI #2060: Commit 46515ff pushed by coqbot
February 3, 2025 18:06 5h 24m 4s run-coq-bug-minimizer-179424721171
run-coq-bug-minimizer-179424721171
February 3, 2025 18:06 5h 24m 4s
CI CI #2059: by JasonGross
February 3, 2025 18:05 3m 50s master
master
February 3, 2025 18:05 3m 50s