Skip to content

Actions: fajb/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 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
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
Test https://github.com/rocq-prover/stdlib/pull/251 Check conflicts #200: Commit 2cc1763 pushed by proux01
7s tify
tify
7s
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 Check conflicts #199: Commit fad2f69 pushed by proux01
10s tify
tify
10s
Test https://github.com/rocq-prover/stdlib/pull/251 Check conflicts #198: Commit 49f62a1 pushed by proux01
8s tify
tify
8s
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 Check conflicts #197: Commit 6febec5 pushed by proux01
10s tify
tify
10s
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
Test https://github.com/rocq-prover/stdlib/pull/251 Check conflicts #196: Commit 446c2a2 pushed by proux01
7s tify
tify
7s
Prepare for https://github.com/rocq-prover/stdlib/pull/251 Check conflicts #195: Commit 6b7b464 pushed by proux01
8s tify
tify
8s
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
Prepare for https://github.com/rocq-prover/stdlib/pull/251 Check conflicts #194: Commit 1062804 pushed by proux01
7s tify
tify
7s
[zify] factorise zify deprecation warnings Check conflicts #193: Commit 46750e3 pushed by fajb
7s tify
tify
7s
[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