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: remove obsolete syntax workaround and fix proof states Continuous Integration #879: Pull request #256 opened by david-christiansen
December 18, 2024 05:59 2m 4s fix-labels
fix-labels
December 18, 2024 05:59 2m 4s
fix: remove obsolete syntax workaround and fix proof states Continuous Integration #878: Commit de82a3b pushed by david-christiansen
December 18, 2024 05:59 2m 19s fix-labels
fix-labels
December 18, 2024 05:59 2m 19s
feat: heuristic Markdown docstring rendering Check for copyright header and too-big Lean imports #249: Pull request #255 synchronize by david-christiansen
December 18, 2024 05:58 11s md-heuristics
md-heuristics
December 18, 2024 05:58 11s
feat: heuristic Markdown docstring rendering Continuous Integration #877: Pull request #255 synchronize by david-christiansen
December 18, 2024 05:58 2m 11s md-heuristics
md-heuristics
December 18, 2024 05:58 2m 11s
feat: heuristic rendering of commands in code blocks Continuous Integration #876: Commit 2bf8eb3 pushed by david-christiansen
December 18, 2024 05:58 2m 11s md-heuristics
md-heuristics
December 18, 2024 05:58 2m 11s
feat: heuristic Markdown docstring rendering Check for copyright header and too-big Lean imports #248: Pull request #255 synchronize by david-christiansen
December 17, 2024 22:16 12s md-heuristics
md-heuristics
December 17, 2024 22:16 12s
feat: heuristic Markdown docstring rendering Continuous Integration #875: Pull request #255 synchronize by david-christiansen
December 17, 2024 22:16 1m 51s md-heuristics
md-heuristics
December 17, 2024 22:16 1m 51s
chore: remove dbg_trace Continuous Integration #874: Commit 7b91afe pushed by david-christiansen
December 17, 2024 22:16 1m 39s md-heuristics
md-heuristics
December 17, 2024 22:16 1m 39s
feat: heuristic Markdown docstring rendering Continuous Integration #873: Pull request #255 synchronize by david-christiansen
December 17, 2024 22:04 2m 44s md-heuristics
md-heuristics
December 17, 2024 22:04 2m 44s
feat: heuristic Markdown docstring rendering Check for copyright header and too-big Lean imports #247: Pull request #255 synchronize by david-christiansen
December 17, 2024 22:04 12s md-heuristics
md-heuristics
December 17, 2024 22:04 12s
fix Continuous Integration #872: Commit aa16459 pushed by david-christiansen
December 17, 2024 22:03 3m 2s md-heuristics
md-heuristics
December 17, 2024 22:03 3m 2s
feat: heuristic Markdown docstring rendering Check for copyright header and too-big Lean imports #246: Pull request #255 synchronize by david-christiansen
December 17, 2024 22:00 15s md-heuristics
md-heuristics
December 17, 2024 22:00 15s
feat: heuristic Markdown docstring rendering Continuous Integration #871: Pull request #255 synchronize by david-christiansen
December 17, 2024 22:00 2m 47s md-heuristics
md-heuristics
December 17, 2024 22:00 2m 47s
cleanup + ci Continuous Integration #870: Commit 70f8b48 pushed by david-christiansen
December 17, 2024 22:00 2m 47s md-heuristics
md-heuristics
December 17, 2024 22:00 2m 47s
feat: heuristic Markdown docstring rendering Check for copyright header and too-big Lean imports #245: Pull request #255 opened by david-christiansen
December 17, 2024 21:59 15s md-heuristics
md-heuristics
December 17, 2024 21:59 15s
feat: heuristic Markdown docstring rendering Continuous Integration #869: Pull request #255 opened by david-christiansen
December 17, 2024 21:59 2m 38s md-heuristics
md-heuristics
December 17, 2024 21:59 2m 38s
wip: inductive ctors Continuous Integration #868: Commit 7c924f7 pushed by david-christiansen
December 17, 2024 21:13 2m 35s md-heuristics
md-heuristics
December 17, 2024 21:13 2m 35s
wip: further docstring heuristics progress Continuous Integration #867: Commit ae4b0c3 pushed by david-christiansen
December 17, 2024 16:08 2m 46s md-heuristics
md-heuristics
December 17, 2024 16:08 2m 46s
wip: heuristically render Markdown in docstrings Continuous Integration #866: Commit b5cdcbf pushed by david-christiansen
December 17, 2024 13:51 2m 37s md-heuristics
md-heuristics
December 17, 2024 13:51 2m 37s
fix: logo link relativized incorrectly when --site-base provided (#254) Continuous Integration #865: Commit b4623a7 pushed by david-christiansen
December 16, 2024 19:23 2m 11s main
main
December 16, 2024 19:23 2m 11s
fix: logo link relativized incorrectly when --site-base provided Check for copyright header and too-big Lean imports #244: Pull request #254 opened by david-christiansen
December 16, 2024 19:15 14s fix-logo-link
fix-logo-link
December 16, 2024 19:15 14s
fix: logo link relativized incorrectly when --site-base provided Continuous Integration #864: Pull request #254 opened by david-christiansen
December 16, 2024 19:15 2m 8s fix-logo-link
fix-logo-link
December 16, 2024 19:15 2m 8s
fix: logo link relativized incorrectly when --site-base provided Continuous Integration #863: Commit 252003f pushed by david-christiansen
December 16, 2024 19:15 2m 24s fix-logo-link
fix-logo-link
December 16, 2024 19:15 2m 24s
feat: make logo on manual into link to root (#253) Continuous Integration #862: Commit 29effdf pushed by david-christiansen
December 16, 2024 12:53 1m 25s main
main
December 16, 2024 12:53 1m 25s
feat: make logo on manual into link to root Check for copyright header and too-big Lean imports #243: Pull request #253 opened by david-christiansen
December 16, 2024 12:51 12s logo-link
logo-link
December 16, 2024 12:51 12s