CI · Workflow runs · rocq-community/run-coq-bug-minimizer · GitHub

Actions

CI

Actions

Loading...
Loading

384 workflow runs

384 workflow runs

Added user script in coqbot.sh for andres-erbsen in rocq-prover/rocq CI #2393: Commit 327c606 pushed by coqbot

1h 26m 46s run-coq-bug-minimizer-2491253874214

run-coq-bug-minimizer-2491253874214

1h 26m 46s

Added user script in coqbot.sh for JasonGross in rocq-prover/rocq CI #2392: Commit 5d33574 pushed by coqbot

5h 18m 26s run-coq-bug-minimizer-2240273771170

run-coq-bug-minimizer-2240273771170

5h 18m 26s

Added user script in coqbot.sh for JasonGross in rocq-prover/rocq CI #2391: Commit a451769 pushed by coqbot

5h 17m 31s run-coq-bug-minimizer-3533900648153

run-coq-bug-minimizer-3533900648153

5h 17m 31s

Added user script in coqbot.sh for JasonGross in rocq-prover/rocq CI #2390: Commit 49639a3 pushed by coqbot

5h 17m 3s run-coq-bug-minimizer-405584419434

run-coq-bug-minimizer-405584419434

5h 17m 3s

Added user script in coqbot.sh for SkySkimmer in rocq-prover/rocq CI #2389: Commit 3f6b35b pushed by coqbot

2m 19s run-coq-bug-minimizer-3251977461131

run-coq-bug-minimizer-3251977461131

2m 19s

Set up CI minimization run for ci-iris CI #2388: Commit 989ca1f pushed by coqbot

3h 5m 2s run-coq-bug-minimizer-89696103225

run-coq-bug-minimizer-89696103225

3h 5m 2s

Set up CI minimization run for ci-category_theory CI #2387: Commit 026b119 pushed by coqbot

19m 39s run-coq-bug-minimizer-2881355818113

run-coq-bug-minimizer-2881355818113

19m 39s

Bump actions/checkout from 5 to 6 (#48) CI #2386: Commit 436e1b8 pushed by dependabot bot

1h 7m 3s master

master

1h 7m 3s

Bump actions/checkout from 5 to 6 CI #2385: Pull request #48 synchronize by JasonGross

1h 8m 56s dependabot/github_actions/actions/checkout-6

dependabot/github_actions/actions/checkout-6

1h 8m 56s

Bump actions/checkout from 5 to 6 CI #2384: Commit 5cfd120 pushed by JasonGross

1h 7m 11s dependabot/github_actions/actions/checkout-6

dependabot/github_actions/actions/checkout-6

1h 7m 11s

Bump actions/upload-artifact from 4 to 6 (#49) CI #2383: Commit 1ae4eef pushed by JasonGross

1h 6m 51s master

master

1h 6m 51s

Initial support for wrapping coqchk CI #2382: Commit 1ae1432 pushed by JasonGross

1h 10m 53s master

master

1h 10m 53s

Set up CI minimization run for ci-fiat_crypto CI #2381: Commit 558c3a8 pushed by coqbot

16m 56s run-coq-bug-minimizer-282479799147

run-coq-bug-minimizer-282479799147

16m 56s

Set up CI minimization run for ci-fiat_crypto CI #2380: Commit 639b8a5 pushed by coqbot

6h 5m 6s run-coq-bug-minimizer-1336229184175

run-coq-bug-minimizer-1336229184175

6h 5m 6s

Bump actions/upload-artifact from 4 to 6 CI #2379: Pull request #49 opened by dependabot bot

1h 11m 10s dependabot/github_actions/actions/upload-artifact-6

dependabot/github_actions/actions/upload-artifact-6

1h 11m 10s

Bump actions/upload-artifact from 4 to 6 CI #2378: Commit 99f6b7f pushed by dependabot bot

1h 6m 47s dependabot/github_actions/actions/upload-artifact-6

dependabot/github_actions/actions/upload-artifact-6

1h 6m 47s

Refactor debug message logging into a function CI #2377: Commit 019ca26 pushed by JasonGross

1h 7m 29s master

master

1h 7m 29s

Set up CI minimization run for ci-paco CI #2376: Commit 31cc3a9 pushed by coqbot

20m 25s run-coq-bug-minimizer-239078285283

run-coq-bug-minimizer-239078285283

20m 25s

Set MAKEFLAGS="--output-sync" on failing build CI #2375: Commit 8493589 pushed by JasonGross

1h 9m 45s master

master

1h 9m 45s

Set up CI minimization run for ci-paco CI #2374: Commit 5942dbe pushed by coqbot

17m 11s run-coq-bug-minimizer-1067465257246

run-coq-bug-minimizer-1067465257246

17m 11s

Bump actions/checkout from 5 to 6 CI #2373: Commit 0976c5d pushed by dependabot bot

55m 50s dependabot/github_actions/actions/checkout-6

dependabot/github_actions/actions/checkout-6

55m 50s

Bump actions/checkout from 5 to 6 CI #2372: Pull request #48 opened by dependabot bot

54m 20s dependabot/github_actions/actions/checkout-6

dependabot/github_actions/actions/checkout-6

54m 20s

Set up CI minimization resumption run for ci-metarocq CI #2371: Commit 7f81c08 pushed by coqbot

5h 9m 47s run-coq-bug-minimizer-3615006093184

run-coq-bug-minimizer-3615006093184

5h 9m 47s

Set up CI minimization resumption run for ci-metarocq CI #2370: Commit b5a4056 pushed by coqbot

5h 24m 32s run-coq-bug-minimizer-161611011164

run-coq-bug-minimizer-161611011164

5h 24m 32s

Set up CI minimization run for ci-metarocq CI #2369: Commit 5e582b4 pushed by coqbot

5h 30m 31s run-coq-bug-minimizer-2854662839173

run-coq-bug-minimizer-2854662839173

5h 30m 31s