Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
feat: heuristically render Markdown in docstrings Continuous Integration #885: Commit 248962a pushed by david-christiansen
December 18, 2024 06:08 54s md-heuristics
md-heuristics
December 18, 2024 06:08 54s
feat: heuristic Markdown docstring rendering Check for copyright header and too-big Lean imports #252: Pull request #255 synchronize by david-christiansen
December 18, 2024 06:08 15s md-heuristics
md-heuristics
December 18, 2024 06:08 15s
feat: heuristic Markdown docstring rendering Continuous Integration #884: Pull request #255 synchronize by david-christiansen
December 18, 2024 06:08 47s md-heuristics
md-heuristics
December 18, 2024 06:08 47s
feat: heuristically render Markdown in docstrings Continuous Integration #883: Commit 039bbf0 pushed by david-christiansen
December 18, 2024 06:08 39s md-heuristics
md-heuristics
December 18, 2024 06:08 39s
feat: heuristic Markdown docstring rendering Check for copyright header and too-big Lean imports #251: Pull request #255 synchronize by david-christiansen
December 18, 2024 06:02 12s md-heuristics
md-heuristics
December 18, 2024 06:02 12s
feat: heuristic Markdown docstring rendering Continuous Integration #882: Pull request #255 synchronize by david-christiansen
December 18, 2024 06:02 2m 2s md-heuristics
md-heuristics
December 18, 2024 06:02 2m 2s
feat: heuristic rendering of commands in code blocks Continuous Integration #881: Commit a4f9c04 pushed by david-christiansen
December 18, 2024 06:01 2m 5s md-heuristics
md-heuristics
December 18, 2024 06:01 2m 5s
fix: remove obsolete syntax workaround and fix proof states (#256) Continuous Integration #880: Commit 2bdd4ba pushed by david-christiansen
December 18, 2024 06:01 2m 3s main
main
December 18, 2024 06:01 2m 3s
fix: remove obsolete syntax workaround and fix proof states Check for copyright header and too-big Lean imports #250: Pull request #256 opened by david-christiansen
December 18, 2024 05:59 11s fix-labels
fix-labels
December 18, 2024 05:59 11s