Skip to content

Actions: leanprover/subverso

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
406 workflow runs
406 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: unused variable warnings (#52)
CI #223: Commit 313a82f pushed by david-christiansen
October 11, 2024 05:58 12m 38s main
October 11, 2024 05:58 12m 38s
chore: unused variable warnings (#52)
Formalities #83: Commit 313a82f pushed by david-christiansen
October 11, 2024 05:58 10s main
October 11, 2024 05:58 10s
chore: add recent Leans to CI
Formalities #82: Pull request #55 opened by david-christiansen
October 11, 2024 05:57 10s ci-2024-10-11
October 11, 2024 05:57 10s
chore: add recent Leans to CI
CI #222: Pull request #55 opened by david-christiansen
October 11, 2024 05:57 9m 54s ci-2024-10-11
October 11, 2024 05:57 9m 54s
chore: add recent Leans to CI
Formalities #81: Commit 88069ab pushed by david-christiansen
October 11, 2024 05:57 12s ci-2024-10-11
October 11, 2024 05:57 12s
fix: improved tracing and fix anonymous ctors
CI #221: Pull request #54 opened by david-christiansen
October 11, 2024 05:56 7m 42s tracing
October 11, 2024 05:56 7m 42s
fix: improved tracing and fix anonymous ctors
Formalities #80: Pull request #54 opened by david-christiansen
October 11, 2024 05:56 18s tracing
October 11, 2024 05:56 18s
fix: improved tracing and fix anonymous ctors
Formalities #79: Commit 8da79fd pushed by david-christiansen
October 11, 2024 05:55 10s tracing
October 11, 2024 05:55 10s
Test with Lean nightly
Test with Lean nightly #25: Scheduled
October 11, 2024 00:28 5m 10s main
October 11, 2024 00:28 5m 10s
Test with Lean nightly
Test with Lean nightly #24: Scheduled
October 10, 2024 00:28 5m 15s main
October 10, 2024 00:28 5m 15s
Test with Lean nightly
Test with Lean nightly #23: Scheduled
October 9, 2024 00:28 4m 42s main
October 9, 2024 00:28 4m 42s
Test with Lean nightly
Test with Lean nightly #22: Scheduled
October 8, 2024 00:28 5m 1s main
October 8, 2024 00:28 5m 1s
Test with Lean nightly
Test with Lean nightly #21: Scheduled
October 7, 2024 00:30 5m 7s main
October 7, 2024 00:30 5m 7s
Test with Lean nightly
Test with Lean nightly #20: Scheduled
October 6, 2024 00:31 5m 7s main
October 6, 2024 00:31 5m 7s
Test with Lean nightly
Test with Lean nightly #19: Scheduled
October 5, 2024 00:28 4m 33s main
October 5, 2024 00:28 4m 33s
Test with Lean nightly
Test with Lean nightly #18: Scheduled
October 4, 2024 00:28 4m 50s main
October 4, 2024 00:28 4m 50s
October 3, 2024 10:49 7m 6s
October 3, 2024 10:49 10s
chore: unused variable warnings
CI #218: Pull request #52 opened by kim-em
October 3, 2024 01:03 7m 29s kim-em:silence
October 3, 2024 01:03 7m 29s
chore: unused variable warnings
Formalities #75: Pull request #52 opened by kim-em
October 3, 2024 01:03 13s kim-em:silence
October 3, 2024 01:03 13s
Test with Lean nightly
Test with Lean nightly #17: Scheduled
October 3, 2024 00:28 5m 14s main
October 3, 2024 00:28 5m 14s
Test with Lean nightly
Test with Lean nightly #16: Scheduled
October 2, 2024 00:28 5m 1s main
October 2, 2024 00:28 5m 1s