Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: have the delaborator tag functions being applied Continuous Integration #115: Commit 20d75c1 pushed by david-christiansen
February 12, 2024 11:46 1m 37s tagAppFns
tagAppFns
February 12, 2024 11:46 1m 37s
fix: show summaries of posts at a reasonable length Continuous Integration #114: Commit a92401a pushed by david-christiansen
February 10, 2024 19:19 2m 15s main
main
February 10, 2024 19:19 2m 15s
fix: show summaries of posts at a reasonable length Continuous Integration #113: Pull request #43 opened by david-christiansen
February 10, 2024 19:17 1m 27s summary-better
summary-better
February 10, 2024 19:17 1m 27s
fix: show summaries of posts at a reasonable length Continuous Integration #112: Commit 0975171 pushed by david-christiansen
February 10, 2024 19:16 1m 34s summary-better
summary-better
February 10, 2024 19:16 1m 34s
chore: add link checker for example site to CI Continuous Integration #111: Commit e4a96dc pushed by david-christiansen
February 10, 2024 15:46 1m 30s main
main
February 10, 2024 15:46 1m 30s
chore: add link checker for example site to CI Continuous Integration #110: Pull request #41 opened by david-christiansen
February 10, 2024 15:44 1m 46s ci-link-check
ci-link-check
February 10, 2024 15:44 1m 46s
chore: add link checker for example site to CI Continuous Integration #109: Commit 21fbc51 pushed by david-christiansen
February 10, 2024 15:44 1m 42s ci-link-check
ci-link-check
February 10, 2024 15:44 1m 42s
feat: blog genre: show summaries of posts on archives pages Continuous Integration #108: Commit 18a1681 pushed by david-christiansen
February 10, 2024 15:40 1m 45s main
main
February 10, 2024 15:40 1m 45s
feat: blog genre: show summaries of posts on archives pages Continuous Integration #107: Pull request #40 opened by david-christiansen
February 10, 2024 14:53 1m 34s post-summaries
post-summaries
February 10, 2024 14:53 1m 34s
feat: blog genre: show summaries of posts on archives pages Continuous Integration #106: Commit 3e7706d pushed by david-christiansen
February 10, 2024 14:53 1m 46s post-summaries
post-summaries
February 10, 2024 14:53 1m 46s
chore: bump to Lean v4.5.0 Continuous Integration #105: Commit 48841b9 pushed by david-christiansen
February 9, 2024 11:11 2m 53s main
main
February 9, 2024 11:11 2m 53s
feat: redo keyword highlighting Continuous Integration #104: Commit 155879a pushed by david-christiansen
February 9, 2024 11:10 2m 21s main
main
February 9, 2024 11:10 2m 21s
feat: redo keyword highlighting Continuous Integration #103: Pull request #39 synchronize by david-christiansen
February 9, 2024 10:38 20m 13s no-hl-parsernames
no-hl-parsernames
February 9, 2024 10:38 20m 13s
feat: redo keyword highlighting Continuous Integration #102: Commit 4402e27 pushed by david-christiansen
February 9, 2024 10:38 18m 56s no-hl-parsernames
no-hl-parsernames
February 9, 2024 10:38 18m 56s
feat: redo keyword highlighting Continuous Integration #101: Pull request #39 opened by david-christiansen
February 9, 2024 10:33 2m 14s no-hl-parsernames
no-hl-parsernames
February 9, 2024 10:33 2m 14s
feat: redo keyword highlighting Continuous Integration #100: Commit 2e0e0ac pushed by david-christiansen
February 9, 2024 10:33 1m 49s no-hl-parsernames
no-hl-parsernames
February 9, 2024 10:33 1m 49s
feat: highlighting and popups in tactic states Continuous Integration #99: Commit d214aaf pushed by david-christiansen
February 9, 2024 10:13 2m 10s main
main
February 9, 2024 10:13 2m 10s
feat: highlighting and popups in tactic states Continuous Integration #98: Pull request #38 opened by david-christiansen
February 9, 2024 10:10 1m 53s tactics/tagged
tactics/tagged
February 9, 2024 10:10 1m 53s
feat: highlighting and popups in tactic states Continuous Integration #97: Commit fccb22f pushed by david-christiansen
February 9, 2024 10:08 1m 50s tactics/tagged
tactics/tagged
February 9, 2024 10:08 1m 50s
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
ProTip! You can narrow down the results and go further in time using created:<2024-02-07 or the other filters available.