Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: heuristic Markdown docstring rendering Continuous Integration #873: Pull request #255 synchronize by david-christiansen
December 17, 2024 22:04 In progress md-heuristics
md-heuristics
December 17, 2024 22:04 In progress
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 In progress md-heuristics
md-heuristics
December 17, 2024 22:03 In progress
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
feat: make logo on manual into link to root Continuous Integration #861: Pull request #253 opened by david-christiansen
December 16, 2024 12:51 1m 31s logo-link
logo-link
December 16, 2024 12:51 1m 31s
feat: make logo on manual into link to root Continuous Integration #860: Commit 3bca47a pushed by david-christiansen
December 16, 2024 12:50 1m 10s logo-link
logo-link
December 16, 2024 12:50 1m 10s
feat: source locations on missing vocab errors Continuous Integration #859: Commit 10bba0b pushed by david-christiansen
December 15, 2024 00:55 1m 6s main
main
December 15, 2024 00:55 1m 6s
Improved outline view and error messages Continuous Integration #858: Pull request #252 opened by david-christiansen
December 15, 2024 00:54 1m 17s robust-outline
robust-outline
December 15, 2024 00:54 1m 17s
Improved outline view and error messages Check for copyright header and too-big Lean imports #242: Pull request #252 opened by david-christiansen
December 15, 2024 00:54 12s robust-outline
robust-outline
December 15, 2024 00:54 12s
feat: source locations on missing vocab errors Continuous Integration #857: Commit 279f53d pushed by david-christiansen
December 15, 2024 00:53 1m 3s robust-outline
robust-outline
December 15, 2024 00:53 1m 3s
feat: clean up document symbols (#251) Continuous Integration #856: Commit a548161 pushed by david-christiansen
December 14, 2024 21:43 2m 40s main
main
December 14, 2024 21:43 2m 40s
feat: clean up document symbols Check for copyright header and too-big Lean imports #241: Pull request #251 opened by david-christiansen
December 14, 2024 21:29 12s robust-outline
robust-outline
December 14, 2024 21:29 12s