Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: check for deprecation in docstring inclusion Check for copyright header and too-big Lean imports #338: Pull request #309 opened by david-christiansen
February 19, 2025 15:48 19s check-deprecated
check-deprecated
February 19, 2025 15:48 19s
feat: check for deprecation in docstring inclusion Continuous Integration #986: Pull request #309 opened by david-christiansen
February 19, 2025 15:48 5m 14s check-deprecated
check-deprecated
February 19, 2025 15:48 5m 14s
feat: check for deprecation in docstring inclusion Consistent Subverso dependencies #79: Pull request #309 opened by david-christiansen
February 19, 2025 15:48 38s check-deprecated
check-deprecated
February 19, 2025 15:48 38s
chore: bump to latest nightly Check for copyright header and too-big Lean imports #337: Pull request #308 opened by david-christiansen
February 19, 2025 10:57 12s bump-2025-02-19
bump-2025-02-19
February 19, 2025 10:57 12s
chore: bump to latest nightly Continuous Integration #985: Pull request #308 opened by david-christiansen
February 19, 2025 10:57 5m 14s bump-2025-02-19
bump-2025-02-19
February 19, 2025 10:57 5m 14s
chore: bump to latest nightly Consistent Subverso dependencies #78: Pull request #308 opened by david-christiansen
February 19, 2025 10:57 15s bump-2025-02-19
bump-2025-02-19
February 19, 2025 10:57 15s
feat: configurable depth on inline ToCs Continuous Integration #984: Pull request #307 opened by david-christiansen
February 19, 2025 09:55 4m 54s section-page-simpler
section-page-simpler
February 19, 2025 09:55 4m 54s
feat: configurable depth on inline ToCs Consistent Subverso dependencies #77: Pull request #307 opened by david-christiansen
February 19, 2025 09:55 11s section-page-simpler
section-page-simpler
February 19, 2025 09:55 11s
feat: configurable depth on inline ToCs Check for copyright header and too-big Lean imports #336: Pull request #307 opened by david-christiansen
February 19, 2025 09:55 15s section-page-simpler
section-page-simpler
February 19, 2025 09:55 15s
feat: show field visibility for structures Consistent Subverso dependencies #76: Pull request #306 opened by david-christiansen
February 18, 2025 09:40 14s private-fields
private-fields
February 18, 2025 09:40 14s
feat: show field visibility for structures Continuous Integration #983: Pull request #306 opened by david-christiansen
February 18, 2025 09:40 5m 9s private-fields
private-fields
February 18, 2025 09:40 5m 9s
feat: show field visibility for structures Check for copyright header and too-big Lean imports #335: Pull request #306 opened by david-christiansen
February 18, 2025 09:40 14s private-fields
private-fields
February 18, 2025 09:40 14s
fix: show accurate progress bar during incremental elaboration Check for copyright header and too-big Lean imports #334: Pull request #305 opened by david-christiansen
February 17, 2025 15:50 14s progress-fix
progress-fix
February 17, 2025 15:50 14s
fix: show accurate progress bar during incremental elaboration Consistent Subverso dependencies #75: Pull request #305 opened by david-christiansen
February 17, 2025 15:50 14s progress-fix
progress-fix
February 17, 2025 15:50 14s
fix: show accurate progress bar during incremental elaboration Continuous Integration #982: Pull request #305 opened by david-christiansen
February 17, 2025 15:50 5m 1s progress-fix
progress-fix
February 17, 2025 15:50 5m 1s
fix: retrieve local items from inlines Check for copyright header and too-big Lean imports #333: Pull request #304 opened by david-christiansen
February 17, 2025 08:31 11s fix-inline-local
fix-inline-local
February 17, 2025 08:31 11s
fix: retrieve local items from inlines Consistent Subverso dependencies #74: Pull request #304 opened by david-christiansen
February 17, 2025 08:31 13s fix-inline-local
fix-inline-local
February 17, 2025 08:31 13s
fix: retrieve local items from inlines Continuous Integration #981: Pull request #304 opened by david-christiansen
February 17, 2025 08:31 5m 3s fix-inline-local
fix-inline-local
February 17, 2025 08:31 5m 3s
feat: allow inlines to be local ToC items Continuous Integration #980: Pull request #303 opened by david-christiansen
February 17, 2025 08:15 5m 14s inline-localitem
inline-localitem
February 17, 2025 08:15 5m 14s
feat: allow inlines to be local ToC items Check for copyright header and too-big Lean imports #332: Pull request #303 opened by david-christiansen
February 17, 2025 08:15 13s inline-localitem
inline-localitem
February 17, 2025 08:15 13s
feat: allow inlines to be local ToC items Consistent Subverso dependencies #73: Pull request #303 opened by david-christiansen
February 17, 2025 08:15 13s inline-localitem
inline-localitem
February 17, 2025 08:15 13s
chore: bump to latest nightly Consistent Subverso dependencies #72: Pull request #302 opened by david-christiansen
February 17, 2025 06:50 11s bump-2025-02-16
bump-2025-02-16
February 17, 2025 06:50 11s
chore: bump to latest nightly Continuous Integration #979: Pull request #302 opened by david-christiansen
February 17, 2025 06:50 5m 31s bump-2025-02-16
bump-2025-02-16
February 17, 2025 06:50 5m 31s
chore: bump to latest nightly Check for copyright header and too-big Lean imports #331: Pull request #302 opened by david-christiansen
February 17, 2025 06:50 12s bump-2025-02-16
bump-2025-02-16
February 17, 2025 06:50 12s
feat: improve legibility Continuous Integration #978: Pull request #301 opened by jakobvase
February 16, 2025 08:22 4m 49s jakobvase:improve-legibility
jakobvase:improve-legibility
February 16, 2025 08:22 4m 49s