Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
fix: render array literals correctly Continuous Integration #71: Commit 335c4c3 pushed by david-christiansen
February 1, 2024 12:10 1m 25s hl-fixes
hl-fixes
February 1, 2024 12:10 1m 25s
fix: stop rendering doc comments as keywords Continuous Integration #70: Commit d9e57fd pushed by david-christiansen
February 1, 2024 12:04 1m 40s hl-fixes
hl-fixes
February 1, 2024 12:04 1m 40s
fix: add type annotations to blocks Continuous Integration #69: Commit 8ab5920 pushed by david-christiansen
February 1, 2024 06:38 14m 0s main
main
February 1, 2024 06:38 14m 0s
fix: add type annotations to blocks Continuous Integration #68: Pull request #26 opened by david-christiansen
February 1, 2024 06:35 1m 50s typed-blocks
typed-blocks
February 1, 2024 06:35 1m 50s
fix: add type annotations to blocks Continuous Integration #67: Commit 5de5ff9 pushed by david-christiansen
February 1, 2024 06:34 1m 55s typed-blocks
typed-blocks
February 1, 2024 06:34 1m 55s
feat: simple support for syntax-highlighted text Continuous Integration #66: Commit 5da8644 pushed by david-christiansen
January 31, 2024 12:15 1m 54s main
main
January 31, 2024 12:15 1m 54s