Skip to content

Actions: fajb/coq

Actions

Github CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
30 workflow runs
30 workflow runs

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
Github CI Github CI #33: by proux01
41m 13s tify
tify
41m 13s
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 Github CI #30: Commit 0d6af77 pushed by proux01
41m 0s tify
tify
41m 0s
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 Github CI #27: Commit 54a70d4 pushed by proux01
36m 22s tify
tify
36m 22s
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 Github CI #24: Commit 11158f5 pushed by proux01
32m 8s tify
tify
32m 8s
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 Github CI #21: Commit 2cc1763 pushed by proux01
34m 25s tify
tify
34m 25s
Test https://github.com/rocq-prover/stdlib/pull/251 Github CI #20: Commit fad2f69 pushed by proux01
34m 44s tify
tify
34m 44s
Test https://github.com/rocq-prover/stdlib/pull/251 Github CI #19: Commit 49f62a1 pushed by proux01
33m 47s tify
tify
33m 47s
Test https://github.com/rocq-prover/stdlib/pull/251 Github CI #18: Commit 6febec5 pushed by proux01
3m 9s tify
tify
3m 9s
Test https://github.com/rocq-prover/stdlib/pull/251 Github CI #17: Commit 446c2a2 pushed by proux01
20m 37s tify
tify
20m 37s
Prepare for https://github.com/rocq-prover/stdlib/pull/251 Github CI #16: Commit 6b7b464 pushed by proux01
16m 45s tify
tify
16m 45s
Prepare for https://github.com/rocq-prover/stdlib/pull/251 Github CI #15: Commit 1062804 pushed by proux01
3m 6s tify
tify
3m 6s
[zify] factorise zify deprecation warnings Github CI #14: Commit 46750e3 pushed by fajb
35m 46s tify
tify
35m 46s
stdlib overlay + changelog Github CI #13: Commit 09aadd9 pushed by fajb
36m 29s tify
tify
36m 29s
stdlib overlay + changelog Github CI #12: Commit 8581dc4 pushed by fajb
35m 26s tify
tify
35m 26s
[tify] generalise [zify] for an arbitrary type. Github CI #11: Commit 9ec9cd9 pushed by fajb
34m 0s tify
tify
34m 0s
[tify] generalise [zify] for an arbitrary type. Github CI #10: Commit d33a3fb pushed by fajb
6m 40s tify
tify
6m 40s
rocq:tacn reference target not found: tify Z Github CI #9: Commit e2b602a pushed by fajb
12m 7s tify
tify
12m 7s