Skip to content

Actions: leanprover/subverso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
450 workflow runs
450 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test with Lean nightly Test with Lean nightly #79: Scheduled
December 4, 2024 00:31 6m 17s main
main
December 4, 2024 00:31 6m 17s
Test with Lean nightly Test with Lean nightly #78: Scheduled
December 3, 2024 00:32 6m 9s main
main
December 3, 2024 00:32 6m 9s
chore: update versions for testing (#62) Formalities #123: Commit 1c15145 pushed by david-christiansen
December 2, 2024 07:32 18s main
main
December 2, 2024 07:32 18s
chore: update versions for testing (#62) CI #248: Commit 1c15145 pushed by david-christiansen
December 2, 2024 07:32 6m 16s main
main
December 2, 2024 07:32 6m 16s
chore: update versions for testing Formalities #122: Pull request #62 synchronize by david-christiansen
December 2, 2024 06:45 11s 4.15-rc
4.15-rc
December 2, 2024 06:45 11s
chore: update versions for testing CI #247: Pull request #62 synchronize by david-christiansen
December 2, 2024 06:45 6m 2s 4.15-rc
4.15-rc
December 2, 2024 06:45 6m 2s
chore: test was spuriously failing, but unnoticed Formalities #121: Commit 5f2f91e pushed by david-christiansen
December 2, 2024 06:45 13s 4.15-rc
4.15-rc
December 2, 2024 06:45 13s
chore: update versions for testing CI #246: Pull request #62 synchronize by david-christiansen
December 2, 2024 06:15 1m 33s 4.15-rc
4.15-rc
December 2, 2024 06:15 1m 33s
chore: update versions for testing Formalities #120: Pull request #62 synchronize by david-christiansen
December 2, 2024 06:15 14s 4.15-rc
4.15-rc
December 2, 2024 06:15 14s
chore: test was spuriously failing, but unnoticed Formalities #119: Commit d822d63 pushed by david-christiansen
December 2, 2024 06:15 13s 4.15-rc
4.15-rc
December 2, 2024 06:15 13s
chore: update versions for testing Formalities #118: Pull request #62 synchronize by david-christiansen
December 2, 2024 05:49 9s 4.15-rc
4.15-rc
December 2, 2024 05:49 9s
chore: update versions for testing CI #245: Pull request #62 synchronize by david-christiansen
December 2, 2024 05:49 7m 37s 4.15-rc
4.15-rc
December 2, 2024 05:49 7m 37s
chore: update cache action version Formalities #117: Commit cfb3daa pushed by david-christiansen
December 2, 2024 05:49 14s 4.15-rc
4.15-rc
December 2, 2024 05:49 14s
chore: update versions for testing Formalities #116: Pull request #62 opened by david-christiansen
December 2, 2024 05:47 12s 4.15-rc
4.15-rc
December 2, 2024 05:47 12s
chore: update versions for testing CI #244: Pull request #62 opened by david-christiansen
December 2, 2024 05:47 6m 30s 4.15-rc
4.15-rc
December 2, 2024 05:47 6m 30s
chore: update versions for testing Formalities #115: Commit 88f88f8 pushed by david-christiansen
December 2, 2024 05:47 11s 4.15-rc
4.15-rc
December 2, 2024 05:47 11s
Test with Lean nightly Test with Lean nightly #77: Scheduled
December 2, 2024 00:32 6m 21s main
main
December 2, 2024 00:32 6m 21s
Test with Lean nightly Test with Lean nightly #76: Scheduled
December 1, 2024 00:37 6m 3s main
main
December 1, 2024 00:37 6m 3s
Test with Lean nightly Test with Lean nightly #75: Scheduled
November 30, 2024 00:30 6m 6s main
main
November 30, 2024 00:30 6m 6s
Test with Lean nightly Test with Lean nightly #74: Scheduled
November 29, 2024 00:30 6m 3s main
main
November 29, 2024 00:30 6m 3s
Test with Lean nightly Test with Lean nightly #73: Scheduled
November 28, 2024 00:31 5m 56s main
main
November 28, 2024 00:31 5m 56s
Test with Lean nightly Test with Lean nightly #72: Scheduled
November 27, 2024 00:31 6m 20s main
main
November 27, 2024 00:31 6m 20s
Test with Lean nightly Test with Lean nightly #71: Scheduled
November 26, 2024 00:30 6m 8s main
main
November 26, 2024 00:30 6m 8s
Test with Lean nightly Test with Lean nightly #70: Scheduled
November 25, 2024 00:31 6m 32s main
main
November 25, 2024 00:31 6m 32s
Test with Lean nightly Test with Lean nightly #69: Scheduled
November 24, 2024 00:33 6m 12s main
main
November 24, 2024 00:33 6m 12s