Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update for Lean 4.15.0-rc1 (#238) Continuous Integration #903: Commit a0cdffe pushed by kim-em
January 5, 2025 23:43 4m 27s v4.15.0-rc1
v4.15.0-rc1
January 5, 2025 23:43 4m 27s
chore: bump toolchain to v4.16.0-rc1 Check for copyright header and too-big Lean imports #259: Pull request #261 opened by kim-em
January 4, 2025 05:06 10s bump_to_v4.16.0-rc1
bump_to_v4.16.0-rc1
January 4, 2025 05:06 10s
chore: bump toolchain to v4.16.0-rc1 Continuous Integration #902: Pull request #261 opened by kim-em
January 4, 2025 05:06 18s bump_to_v4.16.0-rc1
bump_to_v4.16.0-rc1
January 4, 2025 05:06 18s
chore: bump toolchain to v4.16.0-rc1 Continuous Integration #901: Commit c55502e pushed by kim-em
January 4, 2025 05:06 19s bump_to_v4.16.0-rc1
bump_to_v4.16.0-rc1
January 4, 2025 05:06 19s
chore: bump toolchain to v4.15.0 (#260) Continuous Integration #900: Commit bc3e242 pushed by kim-em
January 4, 2025 05:06 49s v4.15.0
v4.15.0
January 4, 2025 05:06 49s
chore: bump toolchain to v4.15.0 (#260) Continuous Integration #899: Commit bc3e242 pushed by kim-em
January 4, 2025 03:33 6m 3s main
main
January 4, 2025 03:33 6m 3s
chore: bump toolchain to v4.15.0 Check for copyright header and too-big Lean imports #258: Pull request #260 opened by kim-em
January 4, 2025 03:26 14s bump_to_v4.15.0
bump_to_v4.15.0
January 4, 2025 03:26 14s
chore: bump toolchain to v4.15.0 Continuous Integration #898: Pull request #260 opened by kim-em
January 4, 2025 03:26 6m 12s bump_to_v4.15.0
bump_to_v4.15.0
January 4, 2025 03:26 6m 12s
chore: bump toolchain to v4.15.0 Continuous Integration #897: Commit 782433b pushed by kim-em
January 4, 2025 03:26 6m 45s bump_to_v4.15.0
bump_to_v4.15.0
January 4, 2025 03:26 6m 45s
fix: JS syntax (#259) Continuous Integration #896: Commit 7d3a46e pushed by david-christiansen
December 22, 2024 11:58 1m 0s main
main
December 22, 2024 11:58 1m 0s
fix: JS syntax Continuous Integration #895: Pull request #259 opened by david-christiansen
December 22, 2024 11:52 55s slash-redirects
slash-redirects
December 22, 2024 11:52 55s
fix: JS syntax Check for copyright header and too-big Lean imports #257: Pull request #259 opened by david-christiansen
December 22, 2024 11:52 11s slash-redirects
slash-redirects
December 22, 2024 11:52 11s
fix: JS syntax Continuous Integration #894: Commit a11c07f pushed by david-christiansen
December 22, 2024 11:51 56s slash-redirects
slash-redirects
December 22, 2024 11:51 56s
fix: add JS to add trailing slashes (#258) Continuous Integration #893: Commit bc5c64e pushed by david-christiansen
December 22, 2024 11:37 57s main
main
December 22, 2024 11:37 57s
fix: add JS to add trailing slashes Check for copyright header and too-big Lean imports #256: Pull request #258 opened by david-christiansen
December 22, 2024 11:36 14s slash-redirects
slash-redirects
December 22, 2024 11:36 14s
fix: add JS to add trailing slashes Continuous Integration #892: Pull request #258 opened by david-christiansen
December 22, 2024 11:36 53s slash-redirects
slash-redirects
December 22, 2024 11:36 53s
fix: add JS to add trailing slashes Continuous Integration #891: Commit 9bed13e pushed by david-christiansen
December 22, 2024 11:35 56s slash-redirects
slash-redirects
December 22, 2024 11:35 56s
feat: heuristic Markdown docstring rendering Check for copyright header and too-big Lean imports #255: Pull request #255 synchronize by david-christiansen
December 18, 2024 10:29 12s md-heuristics
md-heuristics
December 18, 2024 10:29 12s
feat: heuristic Markdown docstring rendering Continuous Integration #890: Pull request #255 synchronize by david-christiansen
December 18, 2024 10:29 4m 34s md-heuristics
md-heuristics
December 18, 2024 10:29 4m 34s
feat: support x : t in heuristic Markdown Continuous Integration #889: Commit 9254550 pushed by david-christiansen
December 18, 2024 10:29 4m 45s md-heuristics
md-heuristics
December 18, 2024 10:29 4m 45s
feat: heuristic Markdown docstring rendering Check for copyright header and too-big Lean imports #254: Pull request #255 synchronize by david-christiansen
December 18, 2024 10:24 12s md-heuristics
md-heuristics
December 18, 2024 10:24 12s
feat: heuristic Markdown docstring rendering Continuous Integration #888: Pull request #255 synchronize by david-christiansen
December 18, 2024 10:24 3m 56s md-heuristics
md-heuristics
December 18, 2024 10:24 3m 56s
feat: support x : t in heuristic Markdown Continuous Integration #887: Commit 191cb36 pushed by david-christiansen
December 18, 2024 10:23 4m 20s md-heuristics
md-heuristics
December 18, 2024 10:23 4m 20s
feat: heuristic Markdown docstring rendering Continuous Integration #886: Pull request #255 synchronize by david-christiansen
December 18, 2024 06:09 56s md-heuristics
md-heuristics
December 18, 2024 06:09 56s
feat: heuristic Markdown docstring rendering Check for copyright header and too-big Lean imports #253: Pull request #255 synchronize by david-christiansen
December 18, 2024 06:09 12s md-heuristics
md-heuristics
December 18, 2024 06:09 12s