Skip to content

Actions: leanprover/subverso

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
217 workflow runs
217 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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
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 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
chore: add nightly testing script to CI (#47) CI #213: Commit fc4c15e pushed by david-christiansen
September 18, 2024 07:15 18m 6s main
main
September 18, 2024 07:15 18m 6s
chore: add nightly testing script to CI CI #212: Pull request #47 synchronize by david-christiansen
September 18, 2024 07:14 15m 52s nightly-ci
nightly-ci
September 18, 2024 07:14 15m 52s
chore: add nightly testing script to CI CI #211: Pull request #47 opened by david-christiansen
September 18, 2024 07:09 12m 30s nightly-ci
nightly-ci
September 18, 2024 07:09 12m 30s
chore: updates for nightly 2024-09-17 (#46) CI #210: Commit bb0deee pushed by david-christiansen
September 18, 2024 07:01 7m 8s main
main
September 18, 2024 07:01 7m 8s
chore: updates for nightly 2024-09-17 CI #209: Pull request #46 synchronize by david-christiansen
September 18, 2024 06:38 6m 55s bump-2024-09-17
bump-2024-09-17
September 18, 2024 06:38 6m 55s
chore: updates for nightly 2024-09-17 CI #208: Pull request #46 opened by david-christiansen
September 18, 2024 05:09 41s bump-2024-09-17
bump-2024-09-17
September 18, 2024 05:09 41s
feat: highlight proof states without embedding them in terms (#45) CI #207: Commit 82bdbe1 pushed by david-christiansen
September 10, 2024 17:26 5m 6s main
main
September 10, 2024 17:26 5m 6s
feat: highlight proof states without embedding them in terms CI #206: Pull request #45 opened by david-christiansen
September 10, 2024 15:00 5m 5s hl-proof-state
hl-proof-state
September 10, 2024 15:00 5m 5s
chore: only run push CI jobs on pushes to main (#44) CI #205: Commit b96f12c pushed by david-christiansen
September 4, 2024 21:05 5m 6s main
main
September 4, 2024 21:05 5m 6s
feat: necessary information for tooltips on options in code (#43) CI #204: Commit 84302ae pushed by david-christiansen
September 4, 2024 15:39 4m 56s main
main
September 4, 2024 15:39 4m 56s
chore: only run push CI jobs on pushes to main CI #203: Pull request #44 opened by david-christiansen
September 4, 2024 15:36 10m 7s less-ci
less-ci
September 4, 2024 15:36 10m 7s
feat: necessary information for tooltips on options in code CI #202: Pull request #43 opened by david-christiansen
September 4, 2024 15:31 7m 26s option-tooltips
option-tooltips
September 4, 2024 15:31 7m 26s
feat: necessary information for tooltips on options in code CI #201: Commit 6ce666a pushed by david-christiansen
September 4, 2024 15:31 4m 54s option-tooltips
option-tooltips
September 4, 2024 15:31 4m 54s
feat: highlight more pretty-printer output (#42) CI #200: Commit 979a578 pushed by david-christiansen
September 3, 2024 12:49 4m 47s main
main
September 3, 2024 12:49 4m 47s
feat: highlight more pretty-printer output CI #199: Pull request #42 opened by david-christiansen
September 3, 2024 12:42 5m 10s more-hl
more-hl
September 3, 2024 12:42 5m 10s
feat: highlight more pretty-printer output CI #198: Commit ce0f7ae pushed by david-christiansen
September 3, 2024 12:39 5m 32s more-hl
more-hl
September 3, 2024 12:39 5m 32s
chore: compatibility with latest nightlies + releases (#41) CI #197: Commit 4f4ac30 pushed by david-christiansen
September 3, 2024 11:38 6m 51s main
main
September 3, 2024 11:38 6m 51s
chore: compatibility with latest nightlies + releases CI #196: Pull request #41 opened by david-christiansen
September 3, 2024 11:30 7m 3s 24-09-03
24-09-03
September 3, 2024 11:30 7m 3s
chore: compatibility with latest nightlies + releases CI #195: Commit 130161a pushed by david-christiansen
September 3, 2024 11:30 6m 59s 24-09-03
24-09-03
September 3, 2024 11:30 6m 59s
chore: compatibility shims for 2024-08-29 (#40) CI #194: Commit f611fda pushed by david-christiansen
August 30, 2024 20:46 7m 0s main
main
August 30, 2024 20:46 7m 0s
chore: compatibility shims for 2024-08-29 CI #193: Pull request #40 opened by david-christiansen
August 30, 2024 20:35 10m 58s 24-08-29
24-08-29
August 30, 2024 20:35 10m 58s