Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: proux01/rocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,122 workflow runs
1,122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Better have an anomaly than a missing warning Github CI #37: Commit 2864888 pushed by proux01
42m 7s anomaly-rather-than-no-warning
anomaly-rather-than-no-warning
42m 7s
[micromega] Add checker Github CI #36: Commit 2eaf4ae pushed by proux01
32m 14s micromega-core
micromega-core
32m 14s
[micromega] Add checker Check conflicts #1151: Commit 2eaf4ae pushed by proux01
7s micromega-core
micromega-core
7s
[micromega] Add checker Github CI #35: Commit b5ae917 pushed by proux01
39m 33s micromega-core
micromega-core
39m 33s
[micromega] Add checker Check conflicts #1150: Commit b5ae917 pushed by proux01
10s micromega-core
micromega-core
10s
[CI] elpi: 3.0.0 -> 3.0.1 Check conflicts #1149: Commit ae07171 pushed by proux01
7s elpi301
elpi301
7s
[CI] elpi: 3.0.0 -> 3.0.1 Github CI #34: Commit ae07171 pushed by proux01
40m 16s elpi301
elpi301
40m 16s
[CI] elpi: 3.0.0 -> 3.0.1 Github CI #33: Commit d0bbaac pushed by proux01
3m 54s elpi301
elpi301
3m 54s
[CI] elpi: 3.0.0 -> 3.0.1 Check conflicts #1148: Commit d0bbaac pushed by proux01
7s elpi301
elpi301
7s
Better have an anomaly than a missing warning Check conflicts #1147: Commit aa00ecd pushed by proux01
9s anomaly-rather-than-no-warning
anomaly-rather-than-no-warning
9s
Better have an anomaly than a missing warning Github CI #32: Commit aa00ecd pushed by proux01
29m 55s anomaly-rather-than-no-warning
anomaly-rather-than-no-warning
29m 55s
Better have an anomaly than a missing warning Github CI #31: Commit 0e871ed pushed by proux01
19m 7s anomaly-rather-than-no-warning
anomaly-rather-than-no-warning
19m 7s
Better have an anomaly than a missing warning Check conflicts #1146: Commit 0e871ed pushed by proux01
7s anomaly-rather-than-no-warning
anomaly-rather-than-no-warning
7s
Warn about recovery mechanism forgotten in #17876 Check conflicts #1145: Commit 5398e5b pushed by proux01
8s forgotten-recovery
forgotten-recovery
8s
Warn about recovery mechanism forgotten in #17876 Github CI #30: Commit 5398e5b pushed by proux01
28m 56s forgotten-recovery
forgotten-recovery
28m 56s
Warn about recovery mechanism forgotten in #17876 Github CI #29: Commit 472275c pushed by proux01
28m 45s forgotten-recovery
forgotten-recovery
28m 45s
Warn about recovery mechanism forgotten in #17876 Check conflicts #1144: Commit 472275c pushed by proux01
8s forgotten-recovery
forgotten-recovery
8s
Warn about recovery mechanism forgotten in #17876 Check conflicts #1143: Commit 2796077 pushed by proux01
9s forgotten-recovery
forgotten-recovery
9s
Warn about recovery mechanism forgotten in #17876 Github CI #28: Commit 2796077 pushed by proux01
5m 22s forgotten-recovery
forgotten-recovery
5m 22s
Test Github CI #27: Commit 09231f2 pushed by proux01
27m 23s forgotten-recovery
forgotten-recovery
27m 23s
Test Check conflicts #1142: Commit 09231f2 pushed by proux01
7s forgotten-recovery
forgotten-recovery
7s
Test Check conflicts #1141: Commit ff1d3a4 pushed by proux01
8s forgotten-recovery
forgotten-recovery
8s
Test Github CI #26: Commit ff1d3a4 pushed by proux01
12m 42s forgotten-recovery
forgotten-recovery
12m 42s
Test https://github.com/rocq-prover/bot/pull/344 Check conflicts #1140: Commit fc960e3 pushed by proux01
10s test-coqbot
test-coqbot
10s
Test https://github.com/rocq-prover/bot/pull/344 Github CI #25: Commit fc960e3 pushed by proux01
28m 15s test-coqbot
test-coqbot
28m 15s