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

Test with Lean nightly Test with Lean nightly #15: Scheduled
October 1, 2024 00:32 6m 1s main
main
October 1, 2024 00:32 6m 1s
Test with Lean nightly Test with Lean nightly #14: Scheduled
September 30, 2024 00:30 4m 55s main
main
September 30, 2024 00:30 4m 55s
Test with Lean nightly Test with Lean nightly #13: Scheduled
September 29, 2024 00:32 4m 33s main
main
September 29, 2024 00:32 4m 33s
Test with Lean nightly Test with Lean nightly #12: Scheduled
September 28, 2024 00:28 5m 14s main
main
September 28, 2024 00:28 5m 14s
Test with Lean nightly Test with Lean nightly #11: Scheduled
September 27, 2024 00:28 5m 11s main
main
September 27, 2024 00:28 5m 11s
Test with Lean nightly Test with Lean nightly #10: Scheduled
September 26, 2024 00:28 4m 40s main
main
September 26, 2024 00:28 4m 40s
Test with Lean nightly Test with Lean nightly #9: Scheduled
September 25, 2024 00:28 4m 59s main
main
September 25, 2024 00:28 4m 59s
Test with Lean nightly Test with Lean nightly #8: Scheduled
September 24, 2024 00:28 4m 45s main
main
September 24, 2024 00:28 4m 45s
Test with Lean nightly Test with Lean nightly #7: Scheduled
September 23, 2024 00:29 5m 17s main
main
September 23, 2024 00:29 5m 17s
Test with Lean nightly Test with Lean nightly #6: Scheduled
September 22, 2024 00:31 4m 58s main
main
September 22, 2024 00:31 4m 58s
Test with Lean nightly Test with Lean nightly #5: Scheduled
September 21, 2024 00:27 4m 44s main
main
September 21, 2024 00:27 4m 44s
Test with Lean nightly Test with Lean nightly #4: Scheduled
September 20, 2024 00:27 5m 13s main
main
September 20, 2024 00:27 5m 13s
Test with Lean nightly Test with Lean nightly #3: Scheduled
September 19, 2024 00:27 5m 0s main
main
September 19, 2024 00:27 5m 0s
chore: better job name (#50) CI #217: Commit f567482 pushed by david-christiansen
September 18, 2024 07:25 27m 23s main
main
September 18, 2024 07:25 27m 23s
chore: better job name (#50) Formalities #74: Commit f567482 pushed by david-christiansen
September 18, 2024 07:25 10s main
main
September 18, 2024 07:25 10s
chore: better job name Formalities #73: Pull request #50 opened by david-christiansen
September 18, 2024 07:25 13s nightly-ci
nightly-ci
September 18, 2024 07:25 13s
chore: better job name CI #216: Pull request #50 opened by david-christiansen
September 18, 2024 07:25 21m 46s nightly-ci
nightly-ci
September 18, 2024 07:25 21m 46s
chore: better job name Formalities #72: Commit 41cb79e pushed by david-christiansen
September 18, 2024 07:25 10s nightly-ci
nightly-ci
September 18, 2024 07:25 10s
Test with Lean nightly Test with Lean nightly #2: Manually run by david-christiansen
September 18, 2024 07:18 5m 1s main
main
September 18, 2024 07:18 5m 1s
fix: add the Elan installer to the nightly testing script (#49) CI #215: Commit 20b2327 pushed by david-christiansen
September 18, 2024 07:18 24m 55s main
main
September 18, 2024 07:18 24m 55s
fix: add the Elan installer to the nightly testing script (#49) Formalities #71: Commit 20b2327 pushed by david-christiansen
September 18, 2024 07:18 17s main
main
September 18, 2024 07:18 17s
fix: add the Elan installer to the nightly testing script CI #214: Pull request #49 opened by david-christiansen
September 18, 2024 07:18 18m 14s nightly-ci
nightly-ci
September 18, 2024 07:18 18m 14s
fix: add the Elan installer to the nightly testing script Formalities #70: Pull request #49 opened by david-christiansen
September 18, 2024 07:18 12s nightly-ci
nightly-ci
September 18, 2024 07:18 12s
fix: add the Elan installer to the nightly testing script Formalities #69: Commit 473d64e pushed by david-christiansen
September 18, 2024 07:18 10s nightly-ci
nightly-ci
September 18, 2024 07:18 10s
Test with Lean nightly Test with Lean nightly #1: Manually run by david-christiansen
September 18, 2024 07:15 15s main
main
September 18, 2024 07:15 15s