Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

doc: initial README Continuous Integration #25: Commit 4d11530 pushed by david-christiansen
January 3, 2024 12:44 3m 15s main
main
January 3, 2024 12:44 3m 15s
feat: render Markdown docstrings in blogs Continuous Integration #24: Commit 58747dd pushed by david-christiansen
January 3, 2024 09:51 1m 34s main
main
January 3, 2024 09:51 1m 34s
fix: preserve user newlines in generated HTML Continuous Integration #23: Commit 6732421 pushed by david-christiansen
January 3, 2024 07:27 1m 17s main
main
January 3, 2024 07:27 1m 17s
chore: bump Lean toolchain Continuous Integration #22: Commit 0ff2297 pushed by david-christiansen
January 3, 2024 07:09 1m 16s main
main
January 3, 2024 07:09 1m 16s
feat: TeX math Continuous Integration #21: Commit 4e70b19 pushed by david-christiansen
December 15, 2023 10:37 2m 0s main
main
December 15, 2023 10:37 2m 0s
feat: document inclusion Continuous Integration #20: Commit a745a0b pushed by david-christiansen
December 15, 2023 09:16 1m 35s main
main
December 15, 2023 09:16 1m 35s
fix: make sure LSP extensions are loaded when blogging Continuous Integration #19: Commit 86e4332 pushed by david-christiansen
December 13, 2023 21:07 1m 40s main
main
December 13, 2023 21:07 1m 40s
fix: don't look for closing position of invalid document Continuous Integration #18: Commit b10bd9a pushed by david-christiansen
December 13, 2023 20:55 1m 26s main
main
December 13, 2023 20:55 1m 26s
fix: fix wrong nesting of headers Continuous Integration #17: Commit fa95b30 pushed by david-christiansen
December 13, 2023 20:28 1m 36s main
main
December 13, 2023 20:28 1m 36s
fix: remove bogus CSS Continuous Integration #16: Commit 4111902 pushed by david-christiansen
December 13, 2023 19:49 1m 38s main
main
December 13, 2023 19:49 1m 38s
fix: case-sensitive FS issue Continuous Integration #15: Commit 3412466 pushed by david-christiansen
December 13, 2023 17:15 1m 50s main
main
December 13, 2023 17:15 1m 50s
chore: list all files in CI Continuous Integration #14: Commit 10d90af pushed by david-christiansen
December 13, 2023 17:13 1m 32s main
main
December 13, 2023 17:13 1m 32s
chore: reorganize nascent user's guide Continuous Integration #13: Commit f8957c8 pushed by david-christiansen
December 13, 2023 17:07 1m 36s main
main
December 13, 2023 17:07 1m 36s
fix: JS escaping and CSS tooltip nesting Continuous Integration #12: Commit 407c3bb pushed by david-christiansen
December 13, 2023 16:50 1m 49s main
main
December 13, 2023 16:50 1m 49s
fix: HTML and parser Continuous Integration #11: Commit 699df4b pushed by david-christiansen
December 13, 2023 15:34 1m 28s main
main
December 13, 2023 15:34 1m 28s
fix: HTML and parser Continuous Integration #10: Commit 7b4bd68 pushed by david-christiansen
December 13, 2023 15:21 1m 59s main
main
December 13, 2023 15:21 1m 59s
feat: super-basic support for manuals Continuous Integration #9: Commit 5d0a805 pushed by david-christiansen
December 13, 2023 11:25 1m 34s main
main
December 13, 2023 11:25 1m 34s
feat: footnotes and ref-style links Continuous Integration #8: Commit f739898 pushed by david-christiansen
December 11, 2023 16:01 1m 8s main
main
December 11, 2023 16:01 1m 8s
fix: indentation of code blocks follows fences Continuous Integration #7: Commit a913d09 pushed by david-christiansen
December 9, 2023 20:04 1m 6s main
main
December 9, 2023 20:04 1m 6s
feat: decorate output with severity divs Continuous Integration #6: Commit 570f2cb pushed by david-christiansen
December 8, 2023 14:23 1m 21s main
main
December 8, 2023 14:23 1m 21s
feat: include expected Lean outputs and have the compiler check them Continuous Integration #5: Commit 76f2881 pushed by david-christiansen
December 8, 2023 14:17 57s main
main
December 8, 2023 14:17 57s
feat: show messages in rendered code Continuous Integration #4: Commit edc878a pushed by david-christiansen
December 8, 2023 12:30 54s main
main
December 8, 2023 12:30 54s
fix: parse whitespace as text even if not followed by non-whitespace Continuous Integration #3: Commit 298600e pushed by david-christiansen
December 7, 2023 10:55 1m 9s main
main
December 7, 2023 10:55 1m 9s
chore: remove website Continuous Integration #2: Commit d9c12fd pushed by david-christiansen
December 6, 2023 20:34 56s main
main
December 6, 2023 20:34 56s
chore: setup CI Continuous Integration #1: Commit 6a67a77 pushed by david-christiansen
December 6, 2023 11:09 1m 18s main
main
December 6, 2023 11:09 1m 18s
ProTip! You can narrow down the results and go further in time using created:<2023-12-06 or the other filters available.