Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
221 workflow run results
221 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: rendering issues with string literals and code Continuous Integration #96: Commit e1aec3a pushed by david-christiansen
February 8, 2024 09:32 2m 0s main
main
February 8, 2024 09:32 2m 0s
fix: rendering issues with string literals and code Continuous Integration #95: Pull request #36 opened by david-christiansen
February 8, 2024 09:29 1m 55s fix/trailing-newline-pre
fix/trailing-newline-pre
February 8, 2024 09:29 1m 55s
fix: rendering issues with string literals and code Continuous Integration #94: Commit c3023f8 pushed by david-christiansen
February 8, 2024 09:29 1m 45s fix/trailing-newline-pre
fix/trailing-newline-pre
February 8, 2024 09:29 1m 45s
feat: Categories for blog posts Continuous Integration #93: Commit 49fe08a pushed by david-christiansen
February 7, 2024 13:02 1m 49s main
main
February 7, 2024 13:02 1m 49s
feat: Categories for blog posts Continuous Integration #92: Pull request #35 opened by david-christiansen
February 7, 2024 12:58 1m 39s feat/blog/categories
feat/blog/categories
February 7, 2024 12:58 1m 39s
feat: Categories for blog posts Continuous Integration #91: Commit a8388df pushed by david-christiansen
February 7, 2024 12:57 1m 54s feat/blog/categories
feat/blog/categories
February 7, 2024 12:57 1m 54s
Bump lean-toolchain Continuous Integration #90: Pull request #34 opened by 0art0
February 6, 2024 17:16 2m 16s 0art0:main
0art0:main
February 6, 2024 17:16 2m 16s
fix: dotted identifiers' highlighting Continuous Integration #89: Commit ad6cc83 pushed by david-christiansen
February 6, 2024 07:52 1m 44s main
main
February 6, 2024 07:52 1m 44s
fix: dotted identifiers' highlighting Continuous Integration #88: Pull request #33 opened by david-christiansen
February 6, 2024 07:50 1m 33s hl-ctors
hl-ctors
February 6, 2024 07:50 1m 33s
fix: dotted identifiers' highlighting Continuous Integration #87: Commit a588fd7 pushed by david-christiansen
February 6, 2024 07:50 2m 25s hl-ctors
hl-ctors
February 6, 2024 07:50 2m 25s
feat: show first goal in tactics Continuous Integration #86: Commit 8710990 pushed by david-christiansen
February 5, 2024 07:43 1m 57s main
main
February 5, 2024 07:43 1m 57s
feat: show first goal in tactics Continuous Integration #85: Pull request #31 opened by david-christiansen
February 5, 2024 07:11 2m 2s tactic-ui
tactic-ui
February 5, 2024 07:11 2m 2s
feat: show first goal in tactics Continuous Integration #84: Commit 596abc0 pushed by david-christiansen
February 5, 2024 07:10 1m 47s tactic-ui
tactic-ui
February 5, 2024 07:10 1m 47s
fix: bogus nested tactics Continuous Integration #83: Commit bdcb88f pushed by david-christiansen
February 3, 2024 23:24 2m 10s main
main
February 3, 2024 23:24 2m 10s
fix: bogus nested tactics Continuous Integration #82: Pull request #30 opened by david-christiansen
February 3, 2024 23:24 1m 29s tactics2
tactics2
February 3, 2024 23:24 1m 29s
fix: bogus nested tactics Continuous Integration #81: Commit 9c1f334 pushed by david-christiansen
February 3, 2024 23:20 1m 48s tactics2
tactics2
February 3, 2024 23:20 1m 48s
feat: show tactic states in HTML Continuous Integration #80: Commit 41b85d4 pushed by david-christiansen
February 3, 2024 22:14 2m 2s main
main
February 3, 2024 22:14 2m 2s
feat: show tactic states in HTML Continuous Integration #79: Pull request #29 opened by david-christiansen
February 3, 2024 22:10 1m 52s hl-tactics
hl-tactics
February 3, 2024 22:10 1m 52s
feat: show tactic states in HTML Continuous Integration #78: Commit 8ddead3 pushed by david-christiansen
February 3, 2024 22:08 1m 25s hl-tactics
hl-tactics
February 3, 2024 22:08 1m 25s
fix: message placement and recursive function highlighting Continuous Integration #77: Commit 1445063 pushed by david-christiansen
February 3, 2024 22:06 1m 32s hltac
hltac
February 3, 2024 22:06 1m 32s
fix: message placement and recursive function highlighting Continuous Integration #76: Commit 1445063 pushed by david-christiansen
February 2, 2024 13:54 1m 52s hl-tactics
hl-tactics
February 2, 2024 13:54 1m 52s
fix: message placement and recursive function highlighting Continuous Integration #75: Commit 1445063 pushed by david-christiansen
February 2, 2024 13:50 1m 34s main
main
February 2, 2024 13:50 1m 34s
Source code highlighting improvements Continuous Integration #74: Pull request #28 opened by david-christiansen
February 2, 2024 10:29 1m 46s hl-fixes
hl-fixes
February 2, 2024 10:29 1m 46s
fix: message placement and recursive function highlighting Continuous Integration #73: Commit 80d806e pushed by david-christiansen
February 2, 2024 10:28 1m 40s hl-fixes
hl-fixes
February 2, 2024 10:28 1m 40s
feat: type signatures in Verso hovers Continuous Integration #72: Commit 9066c0d pushed by david-christiansen
February 1, 2024 15:12 1m 31s hl-fixes
hl-fixes
February 1, 2024 15:12 1m 31s