Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
ProTip! You can narrow down the results and go further in time using created:<2023-12-15 or the other filters available.