Skip to content

Actions: leanprover/subverso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
305 workflow runs
305 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: only run push CI jobs on pushes to main Formalities #52: Pull request #44 opened by david-christiansen
September 4, 2024 15:36 5m 53s less-ci
less-ci
September 4, 2024 15:36 5m 53s
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
chore: only run push CI jobs on pushes to main Formalities #51: Commit b9471f0 pushed by david-christiansen
September 4, 2024 15:35 52s less-ci
less-ci
September 4, 2024 15:35 52s
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 Formalities #50: Pull request #43 opened by david-christiansen
September 4, 2024 15:31 17s option-tooltips
option-tooltips
September 4, 2024 15:31 17s
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: necessary information for tooltips on options in code Formalities #49: Commit 6ce666a pushed by david-christiansen
September 4, 2024 15:31 14s option-tooltips
option-tooltips
September 4, 2024 15:31 14s
feat: highlight more pretty-printer output (#42) Formalities #48: Commit 979a578 pushed by david-christiansen
September 3, 2024 12:49 10s main
main
September 3, 2024 12:49 10s
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 Formalities #47: Pull request #42 opened by david-christiansen
September 3, 2024 12:42 14s more-hl
more-hl
September 3, 2024 12:42 14s
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
feat: highlight more pretty-printer output Formalities #46: Commit ce0f7ae pushed by david-christiansen
September 3, 2024 12:39 17s more-hl
more-hl
September 3, 2024 12:39 17s
chore: compatibility with latest nightlies + releases (#41) Formalities #45: Commit 4f4ac30 pushed by david-christiansen
September 3, 2024 11:38 14s main
main
September 3, 2024 11:38 14s
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 Formalities #44: Pull request #41 opened by david-christiansen
September 3, 2024 11:30 16s 24-09-03
24-09-03
September 3, 2024 11:30 16s
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 with latest nightlies + releases Formalities #43: Commit 130161a pushed by david-christiansen
September 3, 2024 11:30 17s 24-09-03
24-09-03
September 3, 2024 11:30 17s
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 (#40) Formalities #42: Commit f611fda pushed by david-christiansen
August 30, 2024 20:46 11s main
main
August 30, 2024 20:46 11s
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
chore: compatibility shims for 2024-08-29 Formalities #41: Pull request #40 opened by david-christiansen
August 30, 2024 20:35 10s 24-08-29
24-08-29
August 30, 2024 20:35 10s
chore: compatibility shims for 2024-08-29 Formalities #40: Commit 26bdce6 pushed by david-christiansen
August 30, 2024 20:34 13s 24-08-29
24-08-29
August 30, 2024 20:34 13s
chore: compatibility shims for 2024-08-29 CI #192: Commit 26bdce6 pushed by david-christiansen
August 30, 2024 20:34 7m 19s 24-08-29
24-08-29
August 30, 2024 20:34 7m 19s