Skip to content

Actions: leanprover/reference-manual

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,079 workflow runs
2,079 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: respect open declarations and namespaces for inline Lean code Build and check HTML #54: Pull request #31 opened by david-christiansen
September 4, 2024 06:25 6m 15s name-with-scopes
name-with-scopes
September 4, 2024 06:25 6m 15s
feat: Sidenotes (#30) Build and check HTML #53: Commit a6e0b60 pushed by david-christiansen
September 4, 2024 06:24 6m 4s main
main
September 4, 2024 06:24 6m 4s
feat: Sidenotes Build and check HTML #52: Pull request #30 opened by david-christiansen
September 4, 2024 05:29 6m 46s sidenotes
sidenotes
September 4, 2024 05:29 6m 46s
feat: major improvements to cross-referencing (#29) Build and check HTML #51: Commit 0adf000 pushed by david-christiansen
September 3, 2024 14:19 8m 19s main
main
September 3, 2024 14:19 8m 19s
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
ProTip! You can narrow down the results and go further in time using created:<2024-08-10 or the other filters available.