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: links had "some" in their HTML ID Continuous Integration #842: Commit 01e09af pushed by david-christiansen
December 9, 2024 12:08 1m 4s toc-link
toc-link
December 9, 2024 12:08 1m 4s
fix: docstring structure inheritance filters (#244) Continuous Integration #841: Commit 86e64ad pushed by david-christiansen
December 9, 2024 11:28 1m 49s main
main
December 9, 2024 11:28 1m 49s
fix: docstring structure inheritance filters Check for copyright header and too-big Lean imports #236: Pull request #244 opened by david-christiansen
December 9, 2024 10:36 15s doc-fixes
doc-fixes
December 9, 2024 10:36 15s
fix: docstring structure inheritance filters Continuous Integration #840: Pull request #244 opened by david-christiansen
December 9, 2024 10:36 1m 40s doc-fixes
doc-fixes
December 9, 2024 10:36 1m 40s
fix: docstring structure inheritance filters Continuous Integration #839: Commit 02271ed pushed by david-christiansen
December 9, 2024 10:36 1m 42s doc-fixes
doc-fixes
December 9, 2024 10:36 1m 42s
fix: file end position for doc term Continuous Integration #838: Commit cc3a037 pushed by david-christiansen
December 6, 2024 19:44 5m 10s main
main
December 6, 2024 19:44 5m 10s
chore: bump subverso Check for copyright header and too-big Lean imports #235: Pull request #243 synchronize by david-christiansen
December 6, 2024 14:30 10s bump-sub
bump-sub
December 6, 2024 14:30 10s
chore: bump subverso Continuous Integration #837: Pull request #243 synchronize by david-christiansen
December 6, 2024 14:30 4m 48s bump-sub
bump-sub
December 6, 2024 14:30 4m 48s
fix: file end position for doc term Continuous Integration #836: Commit 51bfc32 pushed by david-christiansen
December 6, 2024 14:30 4m 41s bump-sub
bump-sub
December 6, 2024 14:30 4m 41s
chore: bump subverso Continuous Integration #835: Pull request #243 synchronize by david-christiansen
December 6, 2024 14:27 4m 42s bump-sub
bump-sub
December 6, 2024 14:27 4m 42s
chore: bump subverso Check for copyright header and too-big Lean imports #234: Pull request #243 synchronize by david-christiansen
December 6, 2024 14:27 10s bump-sub
bump-sub
December 6, 2024 14:27 10s
fix: file end position for doc term Continuous Integration #834: Commit ef467a6 pushed by david-christiansen
December 6, 2024 14:27 4m 38s bump-sub
bump-sub
December 6, 2024 14:27 4m 38s
chore: bump subverso Check for copyright header and too-big Lean imports #233: Pull request #243 opened by david-christiansen
December 6, 2024 14:16 16s bump-sub
bump-sub
December 6, 2024 14:16 16s
chore: bump subverso Continuous Integration #833: Pull request #243 opened by david-christiansen
December 6, 2024 14:16 5m 0s bump-sub
bump-sub
December 6, 2024 14:16 5m 0s
chore: bump subverso Continuous Integration #832: Commit 76637c9 pushed by david-christiansen
December 6, 2024 14:16 4m 55s bump-sub
bump-sub
December 6, 2024 14:16 4m 55s
fix: code block source locations Continuous Integration #831: Commit c0e18f5 pushed by david-christiansen
December 6, 2024 14:15 2m 39s main
main
December 6, 2024 14:15 2m 39s
fix: source location bugs Continuous Integration #830: Pull request #242 opened by david-christiansen
December 6, 2024 14:14 3m 7s code-recovery
code-recovery
December 6, 2024 14:14 3m 7s
fix: source location bugs Check for copyright header and too-big Lean imports #232: Pull request #242 opened by david-christiansen
December 6, 2024 14:14 24s code-recovery
code-recovery
December 6, 2024 14:14 24s
fix: code block source locations Continuous Integration #829: Commit 0951379 pushed by david-christiansen
December 6, 2024 12:27 2m 34s code-recovery
code-recovery
December 6, 2024 12:27 2m 34s
fix: document symbols display plus highlighting bug (#241) Continuous Integration #828: Commit 2cf38f0 pushed by david-christiansen
December 5, 2024 05:59 3m 53s main
main
December 5, 2024 05:59 3m 53s
fix: document symbols display plus highlighting bug Continuous Integration #827: Pull request #241 opened by david-christiansen
December 4, 2024 21:03 4m 8s code-recovery
code-recovery
December 4, 2024 21:03 4m 8s
fix: document symbols display plus highlighting bug Check for copyright header and too-big Lean imports #231: Pull request #241 opened by david-christiansen
December 4, 2024 21:03 16s code-recovery
code-recovery
December 4, 2024 21:03 16s
fix: document symbols display plus highlighting bug Continuous Integration #826: Commit de92f53 pushed by david-christiansen
December 4, 2024 21:03 4m 14s code-recovery
code-recovery
December 4, 2024 21:03 4m 14s
fix: document symbols display plus highlighting bug Continuous Integration #825: Commit b7677fb pushed by david-christiansen
December 4, 2024 21:02 3m 44s code-recovery
code-recovery
December 4, 2024 21:02 3m 44s
feat: LSP improvements (#240) Continuous Integration #824: Commit 1f7136a pushed by david-christiansen
December 3, 2024 10:38 3m 2s main
main
December 3, 2024 10:38 3m 2s