Skip to content

Actions: leanprover/reference-manual

Actions

Build and check HTML

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
700 workflow runs
700 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: major improvements to cross-referencing Build and check HTML #50: Pull request #29 synchronize by david-christiansen
September 3, 2024 14:07 9m 30s look-better
look-better
September 3, 2024 14:07 9m 30s
feat: major improvements to cross-referencing Build and check HTML #49: Pull request #29 opened by david-christiansen
September 3, 2024 14:00 2m 14s look-better
look-better
September 3, 2024 14:00 2m 14s
fix: preserve scopes between Lean blocks (#27) Build and check HTML #48: Commit 526c07d pushed by david-christiansen
August 30, 2024 22:31 6m 29s main
main
August 30, 2024 22:31 6m 29s
fix: preserve scopes between Lean blocks Build and check HTML #47: Pull request #27 opened by david-christiansen
August 30, 2024 22:22 7m 10s lean-scopes
lean-scopes
August 30, 2024 22:22 7m 10s
chore: Lean and deps bump (#26) Build and check HTML #46: Commit 6164e60 pushed by david-christiansen
August 30, 2024 22:05 10m 1s main
main
August 30, 2024 22:05 10m 1s
chore: Lean and deps bump Build and check HTML #45: Pull request #26 opened by david-christiansen
August 30, 2024 21:37 10m 22s bump-2024-08-29
bump-2024-08-29
August 30, 2024 21:37 10m 22s
Inductive types (#25) Build and check HTML #44: Commit 17b8f21 pushed by david-christiansen
August 30, 2024 21:31 10m 18s main
main
August 30, 2024 21:31 10m 18s
Inductive types Build and check HTML #43: Pull request #25 synchronize by david-christiansen
August 30, 2024 15:58 6m 52s inductives
inductives
August 30, 2024 15:58 6m 52s
Inductive types Build and check HTML #42: Pull request #25 synchronize by david-christiansen
August 30, 2024 12:03 10m 12s inductives
inductives
August 30, 2024 12:03 10m 12s
Inductive types Build and check HTML #41: Pull request #25 synchronize by david-christiansen
August 30, 2024 12:02 7m 15s inductives
inductives
August 30, 2024 12:02 7m 15s
Inductive types Build and check HTML #40: Pull request #25 opened by david-christiansen
August 21, 2024 20:49 7m 35s inductives
inductives
August 21, 2024 20:49 7m 35s
chore: bump to newest Verso (#24) Build and check HTML #39: Commit 22b7256 pushed by david-christiansen
August 20, 2024 12:48 7m 12s main
main
August 20, 2024 12:48 7m 12s
chore: bump to newest Verso Build and check HTML #38: Pull request #24 synchronize by david-christiansen
August 20, 2024 12:40 7m 56s verso-bump
verso-bump
August 20, 2024 12:40 7m 56s
feat: describe module headers Build and check HTML #37: Commit 602521d pushed by david-christiansen
August 18, 2024 13:31 8m 54s main
main
August 18, 2024 13:31 8m 54s
Document module syntax Build and check HTML #36: Pull request #23 opened by david-christiansen
August 18, 2024 12:48 9m 18s stx
stx
August 18, 2024 12:48 9m 18s
fix: correct number of string literal types Build and check HTML #35: Commit 4cac01a pushed by david-christiansen
August 10, 2024 11:49 5m 34s main
main
August 10, 2024 11:49 5m 34s
Small fixes Build and check HTML #34: Pull request #21 opened by david-christiansen
August 10, 2024 11:35 6m 3s small-fixes
small-fixes
August 10, 2024 11:35 6m 3s
chore: bump Lean and Verso (#19) Build and check HTML #33: Commit 7be8472 pushed by david-christiansen
August 10, 2024 11:28 8m 56s main
main
August 10, 2024 11:28 8m 56s
fix: branch name for Netlify deployment (#20) Build and check HTML #32: Commit 81d643e pushed by david-christiansen
August 10, 2024 11:28 6m 9s main
main
August 10, 2024 11:28 6m 9s
fix: branch name for Netlify deployment Build and check HTML #31: Pull request #20 opened by david-christiansen
August 10, 2024 11:18 5m 43s deploy-main
deploy-main
August 10, 2024 11:18 5m 43s
chore: bump Lean and Verso Build and check HTML #30: Pull request #19 opened by david-christiansen
August 10, 2024 11:16 8m 43s bump-2024-08-10
bump-2024-08-10
August 10, 2024 11:16 8m 43s
feat: Basics of Nat chapter (#18) Build and check HTML #29: Commit 799dee3 pushed by david-christiansen
August 10, 2024 11:15 5m 33s main
main
August 10, 2024 11:15 5m 33s
feat: Basics of Nat chapter Build and check HTML #28: Pull request #18 opened by david-christiansen
August 10, 2024 09:17 6m 13s nat
nat
August 10, 2024 09:17 6m 13s
Improve section nesting and ToC display (#17) Build and check HTML #27: Commit 5483e35 pushed by david-christiansen
August 9, 2024 13:54 7m 9s main
main
August 9, 2024 13:54 7m 9s
chore: option typo (#16) Build and check HTML #26: Commit 441de2c pushed by david-christiansen
August 9, 2024 13:38 8m 35s main
main
August 9, 2024 13:38 8m 35s
ProTip! You can narrow down the results and go further in time using created:<2024-08-09 or the other filters available.