Skip to content

Actions: fajb/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Check conflicts Check conflicts #212: by proux01
7s tify
tify
7s
Github CI Github CI #33: by proux01
41m 13s tify
tify
41m 13s
Add overlays Check conflicts #211: Commit 0617c89 pushed by proux01
6s tify
tify
6s
Add overlays Github CI #32: Commit 0617c89 pushed by proux01
35m 8s tify
tify
35m 8s
Add overlays Github CI #31: Commit 8805cf2 pushed by proux01
37m 15s tify
tify
37m 15s
Add overlays Check conflicts #210: Commit 8805cf2 pushed by proux01
8s tify
tify
8s
Add overlays Github CI #30: Commit 0d6af77 pushed by proux01
41m 0s tify
tify
41m 0s
Add overlays Check conflicts #209: Commit 0d6af77 pushed by proux01
8s tify
tify
8s
Add overlays Check conflicts #208: Commit d90d031 pushed by proux01
8s tify
tify
8s
Add overlays Github CI #29: Commit d90d031 pushed by proux01
41m 42s tify
tify
41m 42s
Add overlays Github CI #28: Commit 8927eb4 pushed by proux01
29m 26s tify
tify
29m 26s
Add overlays Check conflicts #207: Commit 8927eb4 pushed by proux01
7s tify
tify
7s
Add overlays Github CI #27: Commit 54a70d4 pushed by proux01
36m 22s tify
tify
36m 22s
Add overlays Check conflicts #206: Commit 54a70d4 pushed by proux01
6s tify
tify
6s
Add overlays Check conflicts #205: Commit 13dc698 pushed by proux01
7s tify
tify
7s
Add overlays Github CI #26: Commit 13dc698 pushed by proux01
12m 46s tify
tify
12m 46s
Prepare for https://github.com/rocq-prover/stdlib/pull/251 Github CI #25: Commit 2bafe50 pushed by proux01
45m 23s tify
tify
45m 23s
Prepare for https://github.com/rocq-prover/stdlib/pull/251 Check conflicts #204: Commit 2bafe50 pushed by proux01
8s tify
tify
8s
Prepare for https://github.com/rocq-prover/stdlib/pull/251 Github CI #24: Commit 11158f5 pushed by proux01
32m 8s tify
tify
32m 8s
Prepare for https://github.com/rocq-prover/stdlib/pull/251 Check conflicts #203: Commit 11158f5 pushed by proux01
9s tify
tify
9s
Test https://github.com/rocq-prover/stdlib/pull/251 Check conflicts #202: Commit 6988d80 pushed by proux01
9s tify
tify
9s
Test https://github.com/rocq-prover/stdlib/pull/251 Github CI #23: Commit 6988d80 pushed by proux01
36m 53s tify
tify
36m 53s
Test https://github.com/rocq-prover/stdlib/pull/251 Github CI #22: Commit ad97c2f pushed by proux01
36m 34s tify
tify
36m 34s
Test https://github.com/rocq-prover/stdlib/pull/251 Check conflicts #201: Commit ad97c2f pushed by proux01
7s tify
tify
7s
Test https://github.com/rocq-prover/stdlib/pull/251 Github CI #21: Commit 2cc1763 pushed by proux01
34m 25s tify
tify
34m 25s