Skip to content

Actions: leanprover/subverso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
507 workflow runs
507 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update to work with latest nightly CI #226: Pull request #57 opened by david-christiansen
October 30, 2024 17:15 9m 23s bump-2024-10-30
bump-2024-10-30
October 30, 2024 17:15 9m 23s
chore: update to work with latest nightly Formalities #87: Commit 2244e63 pushed by david-christiansen
October 30, 2024 17:15 18s bump-2024-10-30
bump-2024-10-30
October 30, 2024 17:15 18s
chore: update to work with latest nightly Formalities #86: Commit a318a3d pushed by david-christiansen
October 30, 2024 17:14 10s bump-2024-10-30
bump-2024-10-30
October 30, 2024 17:14 10s
Test with Lean nightly Test with Lean nightly #44: Scheduled
October 30, 2024 00:29 21s main
main
October 30, 2024 00:29 21s
Test with Lean nightly Test with Lean nightly #43: Scheduled
October 29, 2024 00:29 15s main
main
October 29, 2024 00:29 15s
Test with Lean nightly Test with Lean nightly #42: Scheduled
October 28, 2024 00:30 20s main
main
October 28, 2024 00:30 20s
Test with Lean nightly Test with Lean nightly #41: Scheduled
October 27, 2024 00:31 24s main
main
October 27, 2024 00:31 24s
Test with Lean nightly Test with Lean nightly #40: Scheduled
October 26, 2024 00:28 16s main
main
October 26, 2024 00:28 16s
Test with Lean nightly Test with Lean nightly #39: Scheduled
October 25, 2024 00:29 26s main
main
October 25, 2024 00:29 26s
Test with Lean nightly Test with Lean nightly #38: Scheduled
October 24, 2024 00:28 25s main
main
October 24, 2024 00:28 25s
Test with Lean nightly Test with Lean nightly #37: Scheduled
October 23, 2024 00:28 18s main
main
October 23, 2024 00:28 18s
Test with Lean nightly Test with Lean nightly #36: Scheduled
October 22, 2024 00:29 24s main
main
October 22, 2024 00:29 24s
Test with Lean nightly Test with Lean nightly #35: Scheduled
October 21, 2024 00:30 1m 13s main
main
October 21, 2024 00:30 1m 13s
Test with Lean nightly Test with Lean nightly #34: Scheduled
October 20, 2024 00:32 14s main
main
October 20, 2024 00:32 14s
Test with Lean nightly Test with Lean nightly #33: Scheduled
October 19, 2024 00:28 1m 11s main
main
October 19, 2024 00:28 1m 11s
Test with Lean nightly Test with Lean nightly #32: Scheduled
October 18, 2024 00:28 5m 21s main
main
October 18, 2024 00:28 5m 21s
Test with Lean nightly Test with Lean nightly #31: Scheduled
October 17, 2024 00:28 5m 36s main
main
October 17, 2024 00:28 5m 36s
Test with Lean nightly Test with Lean nightly #30: Scheduled
October 16, 2024 00:28 6m 5s main
main
October 16, 2024 00:28 6m 5s
Test with Lean nightly Test with Lean nightly #29: Scheduled
October 15, 2024 00:29 5m 28s main
main
October 15, 2024 00:29 5m 28s
Test with Lean nightly Test with Lean nightly #28: Scheduled
October 14, 2024 00:30 5m 43s main
main
October 14, 2024 00:30 5m 43s
Test with Lean nightly Test with Lean nightly #27: Scheduled
October 13, 2024 00:31 5m 45s main
main
October 13, 2024 00:31 5m 45s
Test with Lean nightly Test with Lean nightly #26: Scheduled
October 12, 2024 00:27 5m 15s main
main
October 12, 2024 00:27 5m 15s
chore: add recent Leans to CI (#55) CI #225: Commit d0b2c57 pushed by david-christiansen
October 11, 2024 07:25 10m 39s main
main
October 11, 2024 07:25 10m 39s
chore: add recent Leans to CI (#55) Formalities #85: Commit d0b2c57 pushed by david-christiansen
October 11, 2024 07:25 10s main
main
October 11, 2024 07:25 10s
fix: improved tracing and fix anonymous ctors (#54) CI #224: Commit dd480cb pushed by david-christiansen
October 11, 2024 07:25 7m 26s main
main
October 11, 2024 07:25 7m 26s