Skip to content

Actions: fajb/coq

Actions

Github CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
24 workflow runs
24 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
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
No contents in directive rocq:tacn Github CI #8: Commit d8c365d pushed by fajb
9m 50s tify
tify
9m 50s
Title underline too short. Github CI #7: Commit 9c423e2 pushed by fajb
36m 27s tify
tify
36m 27s
[ws-buster] Github CI #6: Commit f554260 pushed by fajb
8m 9s tify
tify
8m 9s
preliminary fix micromega documentation Github CI #5: Commit 0d44f0e pushed by fajb
9m 6s tify
tify
9m 6s
[tify] generalise [zify] for an arbitrary type. Github CI #4: Commit 56a9b8a pushed by fajb
44m 11s tify
tify
44m 11s
overlay Github CI #3: Commit 155905e pushed by fajb
38m 34s tauto
tauto
38m 34s
overlay Github CI #2: Commit 996870f pushed by fajb
27m 55s tauto
tauto
27m 55s
[tauto] change proof search strategy Github CI #1: Commit ddd8bfb pushed by fajb
42m 7s tauto
tauto
42m 7s