Skip to content

Actions: leanprover/subverso

Actions

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

feat: save definition sites in code examples Formalities #97: Pull request #59 opened by david-christiansen
November 6, 2024 14:10 7s fix-def-links
fix-def-links
November 6, 2024 14:10 7s
feat: save definition sites in code examples CI #233: Pull request #59 opened by david-christiansen
November 6, 2024 14:10 43s fix-def-links
fix-def-links
November 6, 2024 14:10 43s
feat: save definition sites in code examples Formalities #96: Commit e706829 pushed by david-christiansen
November 6, 2024 14:10 13s fix-def-links
fix-def-links
November 6, 2024 14:10 13s
reader Formalities #95: Commit 40277b8 pushed by david-christiansen
November 6, 2024 14:08 15s fix-def-links
fix-def-links
November 6, 2024 14:08 15s
Test with Lean nightly Test with Lean nightly #51: Scheduled
November 6, 2024 00:28 5m 28s main
main
November 6, 2024 00:28 5m 28s
Test with Lean nightly Test with Lean nightly #50: Scheduled
November 5, 2024 00:28 5m 24s main
main
November 5, 2024 00:28 5m 24s
chore: bump to v4.14.0-rc1 (#58) CI #232: Commit dbb71c2 pushed by david-christiansen
November 4, 2024 13:01 7m 35s main
main
November 4, 2024 13:01 7m 35s
chore: bump to v4.14.0-rc1 (#58) Formalities #94: Commit dbb71c2 pushed by david-christiansen
November 4, 2024 13:01 15s main
main
November 4, 2024 13:01 15s
chore: bump to v4.14.0-rc1 CI #231: Pull request #58 synchronize by david-christiansen
November 4, 2024 12:35 8m 52s kim-em:bump_to_v4.14.0-rc1
kim-em:bump_to_v4.14.0-rc1
November 4, 2024 12:35 8m 52s
chore: bump to v4.14.0-rc1 Formalities #93: Pull request #58 synchronize by david-christiansen
November 4, 2024 12:35 16s kim-em:bump_to_v4.14.0-rc1
kim-em:bump_to_v4.14.0-rc1
November 4, 2024 12:35 16s
chore: bump to v4.14.0-rc1 Formalities #92: Pull request #58 synchronize by kim-em
November 4, 2024 01:24 9s kim-em:bump_to_v4.14.0-rc1
kim-em:bump_to_v4.14.0-rc1
November 4, 2024 01:24 9s
chore: bump to v4.14.0-rc1 CI #230: Pull request #58 synchronize by kim-em
November 4, 2024 01:24 5m 0s kim-em:bump_to_v4.14.0-rc1
kim-em:bump_to_v4.14.0-rc1
November 4, 2024 01:24 5m 0s
chore: bump to v4.14.0-rc1 CI #229: Pull request #58 synchronize by kim-em
November 4, 2024 01:17 44s kim-em:bump_to_v4.14.0-rc1
kim-em:bump_to_v4.14.0-rc1
November 4, 2024 01:17 44s
chore: bump to v4.14.0-rc1 Formalities #91: Pull request #58 synchronize by kim-em
November 4, 2024 01:17 24s kim-em:bump_to_v4.14.0-rc1
kim-em:bump_to_v4.14.0-rc1
November 4, 2024 01:17 24s
chore: bump to v4.14.0-rc1 Formalities #90: Pull request #58 opened by kim-em
November 4, 2024 01:16 14s kim-em:bump_to_v4.14.0-rc1
kim-em:bump_to_v4.14.0-rc1
November 4, 2024 01:16 14s
chore: bump to v4.14.0-rc1 CI #228: Pull request #58 opened by kim-em
November 4, 2024 01:16 45s kim-em:bump_to_v4.14.0-rc1
kim-em:bump_to_v4.14.0-rc1
November 4, 2024 01:16 45s
Test with Lean nightly Test with Lean nightly #49: Scheduled
November 4, 2024 00:30 40s main
main
November 4, 2024 00:30 40s
Test with Lean nightly Test with Lean nightly #48: Scheduled
November 3, 2024 00:31 36s main
main
November 3, 2024 00:31 36s
Test with Lean nightly Test with Lean nightly #47: Scheduled
November 2, 2024 00:28 35s main
main
November 2, 2024 00:28 35s
Test with Lean nightly Test with Lean nightly #46: Scheduled
November 1, 2024 00:32 5m 38s main
main
November 1, 2024 00:32 5m 38s
Test with Lean nightly Test with Lean nightly #45: Scheduled
October 31, 2024 00:29 5m 35s main
main
October 31, 2024 00:29 5m 35s
chore: update to work with latest nightly (#57) CI #227: Commit a06d555 pushed by david-christiansen
October 30, 2024 17:28 9m 26s main
main
October 30, 2024 17:28 9m 26s
chore: update to work with latest nightly (#57) Formalities #89: Commit a06d555 pushed by david-christiansen
October 30, 2024 17:28 7s main
main
October 30, 2024 17:28 7s
chore: update to work with latest nightly Formalities #88: Pull request #57 opened by david-christiansen
October 30, 2024 17:15 55s bump-2024-10-30
bump-2024-10-30
October 30, 2024 17:15 55s
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