Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,269 workflow runs
1,269 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: CI: check for consistent subverso versions in manifests Continuous Integration #169: Commit 17b07d6 pushed by david-christiansen
March 21, 2024 08:58 24s ci-consistent-subverso-manifest
ci-consistent-subverso-manifest
March 21, 2024 08:58 24s
fix: upload all generated docs to one release/artifact Continuous Integration #168: Commit f3a479d pushed by david-christiansen
March 21, 2024 08:22 1m 4s main
main
March 21, 2024 08:22 1m 4s
chore: bump subverso version Continuous Integration #167: Commit 21631e5 pushed by david-christiansen
March 21, 2024 08:07 3m 2s main
main
March 21, 2024 08:07 3m 2s
fix: upload all generated docs to one release/artifact Continuous Integration #166: Pull request #61 opened by david-christiansen
March 21, 2024 08:07 1m 16s ci-doc-release
ci-doc-release
March 21, 2024 08:07 1m 16s
fix: upload all generated docs to one release/artifact Continuous Integration #165: Commit b6c5400 pushed by david-christiansen
March 21, 2024 08:06 2m 9s ci-doc-release
ci-doc-release
March 21, 2024 08:06 2m 9s
chore: bump subverso version Continuous Integration #164: Pull request #60 opened by david-christiansen
March 21, 2024 08:03 2m 50s subverso-bump
subverso-bump
March 21, 2024 08:03 2m 50s
chore: bump subverso version Continuous Integration #163: Commit 9808c76 pushed by david-christiansen
March 21, 2024 08:03 2m 33s subverso-bump
subverso-bump
March 21, 2024 08:03 2m 33s
fix: strip leading and trailing whitespace from highlights Continuous Integration #162: Commit 1fa5f34 pushed by david-christiansen
March 20, 2024 15:02 3m 12s main
main
March 20, 2024 15:02 3m 12s
fix: strip leading and trailing whitespace from highlights Continuous Integration #161: Pull request #59 opened by david-christiansen
March 20, 2024 14:41 2m 32s hl-ws-render
hl-ws-render
March 20, 2024 14:41 2m 32s
Continuous Integration Continuous Integration #160: by david-christiansen
March 20, 2024 14:39 2m 45s hl-ws-render
hl-ws-render
March 20, 2024 14:39 2m 45s
Continuous Integration Continuous Integration #159: by david-christiansen
March 20, 2024 13:31 3m 28s main
main
March 20, 2024 13:31 3m 28s
chore: bump subverso for fix to whitespace tokens Continuous Integration #158: Pull request #58 opened by david-christiansen
March 20, 2024 13:27 3m 17s ex-ws
ex-ws
March 20, 2024 13:27 3m 17s
chore: bump subverso for fix to whitespace tokens Continuous Integration #157: Commit 98b8000 pushed by david-christiansen
March 20, 2024 13:27 3m 28s ex-ws
ex-ws
March 20, 2024 13:27 3m 28s
feat: manually highlight keywords Continuous Integration #156: Commit 4edc491 pushed by david-christiansen
March 20, 2024 05:45 2m 36s main
main
March 20, 2024 05:45 2m 36s
feat: manually highlight keywords Continuous Integration #155: Pull request #56 opened by david-christiansen
March 19, 2024 21:58 2m 49s hl-extras
hl-extras
March 19, 2024 21:58 2m 49s
feat: manually highlight keywords Continuous Integration #154: Commit 75bf9d9 pushed by david-christiansen
March 19, 2024 21:58 2m 51s hl-extras
hl-extras
March 19, 2024 21:58 2m 51s
chore: bump subverso Continuous Integration #153: Commit f325880 pushed by david-christiansen
March 19, 2024 08:38 3m 7s main
main
March 19, 2024 08:38 3m 7s
Blog usability Continuous Integration #152: Pull request #55 opened by david-christiansen
March 19, 2024 07:51 2m 41s blog-usability
blog-usability
March 19, 2024 07:51 2m 41s
chore: bump subverso Continuous Integration #151: Commit c19231c pushed by david-christiansen
March 19, 2024 07:49 2m 38s blog-usability
blog-usability
March 19, 2024 07:49 2m 38s
feat: leanOutput name lookup consistency and suggestions Continuous Integration #150: Commit 822740b pushed by david-christiansen
March 18, 2024 15:55 2m 46s blog-usability
blog-usability
March 18, 2024 15:55 2m 46s
feat: better error messages in blog genre Continuous Integration #149: Commit 107a50d pushed by david-christiansen
March 18, 2024 15:37 2m 40s blog-usability
blog-usability
March 18, 2024 15:37 2m 40s
feat: revamp the HTML manual, with working TOC and better CSS (#53) Continuous Integration #148: Commit 3e44cd7 pushed by david-christiansen
March 13, 2024 11:39 2m 21s main
main
March 13, 2024 11:39 2m 21s
feat: revamp the HTML manual, with working TOC and better CSS Continuous Integration #147: Pull request #53 opened by david-christiansen
March 13, 2024 11:39 2m 29s manual-state
manual-state
March 13, 2024 11:39 2m 29s
Save HTML output too Continuous Integration #146: Commit 610ac2b pushed by david-christiansen
March 13, 2024 09:17 2m 24s manual-state
manual-state
March 13, 2024 09:17 2m 24s
fix: minor highlighting issue for info display (#52) Continuous Integration #145: Commit 06fa724 pushed by david-christiansen
March 11, 2024 13:47 2m 14s main
main
March 11, 2024 13:47 2m 14s
ProTip! You can narrow down the results and go further in time using created:<2024-03-11 or the other filters available.