Skip to content

Actions: leanprover/reference-manual

Actions

Deploy PR for review

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-deploy.yml
236 workflow runs
236 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: well-founded recursion Deploy PR for review #36: Pull request #250 labeled by nomeata
January 14, 2025 16:27 48s
January 14, 2025 16:27 48s
feat: well-founded recursion Deploy PR for review #35: Pull request #250 labeled by david-christiansen
January 14, 2025 12:06 25s
January 14, 2025 12:06 25s
chore: bump Verso dependency Deploy PR for review #34: Pull request #249 labeled by david-christiansen
January 14, 2025 09:12 26s
January 14, 2025 09:12 26s
chore: bump Verso for performance fix Deploy PR for review #33: Pull request #248 labeled by david-christiansen
January 13, 2025 10:51 24s
January 13, 2025 10:51 24s
feat: document Empty Deploy PR for review #32: Pull request #246 labeled by david-christiansen
January 13, 2025 10:08 33s
January 13, 2025 10:08 33s
chore: updated progress tracker Deploy PR for review #31: Pull request #247 labeled by david-christiansen
January 13, 2025 09:41 21s
January 13, 2025 09:41 21s
feat: Ints and Nat representation Deploy PR for review #30: Pull request #243 labeled by david-christiansen
January 13, 2025 09:34 32s
January 13, 2025 09:34 32s
feat: Option Deploy PR for review #29: Pull request #245 labeled by david-christiansen
January 13, 2025 09:01 27s
January 13, 2025 09:01 27s
feat: search box Deploy PR for review #28: Pull request #241 labeled by jakobvase
January 12, 2025 12:55 23s
January 12, 2025 12:55 23s
feat: search box Deploy PR for review #27: Pull request #241 labeled by jakobvase
January 12, 2025 11:44 24s
January 12, 2025 11:44 24s
feat: search box Deploy PR for review #26: Pull request #241 labeled by david-christiansen
January 10, 2025 14:31 28s
January 10, 2025 14:31 28s
doc: document the most important markup Deploy PR for review #25: Pull request #240 labeled by david-christiansen
January 10, 2025 09:41 26s
January 10, 2025 09:41 26s
fix: minor typo/typography in Simp.lean Deploy PR for review #24: Pull request #239 labeled by david-christiansen
January 10, 2025 08:47 24s
January 10, 2025 08:47 24s
feat: fixed-precision integers Deploy PR for review #23: Pull request #238 labeled by david-christiansen
January 9, 2025 13:19 34s
January 9, 2025 13:19 34s
feat: Fin chapter Deploy PR for review #22: Pull request #237 labeled by david-christiansen
January 8, 2025 20:54 38s
January 8, 2025 20:54 38s
feat: more on structural recursion Deploy PR for review #21: Pull request #234 labeled by david-christiansen
January 8, 2025 13:40 29s
January 8, 2025 13:40 29s
fix: a small mistake (strings -> arrays) Deploy PR for review #20: Pull request #226 labeled by david-christiansen
January 7, 2025 16:03 23s
January 7, 2025 16:03 23s
chore: bump Verso and update quasiquote syntax Deploy PR for review #19: Pull request #230 labeled by david-christiansen
January 7, 2025 08:35 39s
January 7, 2025 08:35 39s
fix: clarify wording that may sounds like universes are cumulative Deploy PR for review #18: Pull request #229 labeled by david-christiansen
January 6, 2025 21:42 30s
January 6, 2025 21:42 30s
fix: bump Verso dep Deploy PR for review #17: Pull request #225 labeled by david-christiansen
December 22, 2024 12:06 40s
December 22, 2024 12:06 40s
fix: bump Verso dep Deploy PR for review #16: Pull request #225 labeled by david-christiansen
December 22, 2024 11:47 27s
December 22, 2024 11:47 27s
chore: bump Verso to support heuristic Markdown rendering Deploy PR for review #15: Pull request #222 labeled by david-christiansen
December 18, 2024 10:39 14s
December 18, 2024 10:39 14s
fix: typo and logo link Deploy PR for review #14: Pull request #221 labeled by david-christiansen
December 16, 2024 19:33 41s
December 16, 2024 19:33 41s
fix: accidental LaTeX notation Deploy PR for review #13: Pull request #219 labeled by david-christiansen
December 16, 2024 14:38 22s
December 16, 2024 14:38 22s
feat: improve description of instance implicits Deploy PR for review #12: Pull request #218 labeled by david-christiansen
December 16, 2024 13:43 24s
December 16, 2024 13:43 24s