Skip to content

Actions: leanprover/verso

Actions

Consistent Subverso dependencies

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
consistent-subverso-manifests.yml
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: use declared syntax for all Verso syntax Consistent Subverso dependencies #12: Pull request #264 synchronize by david-christiansen
January 7, 2025 08:09 9s syntax-fix
syntax-fix
January 7, 2025 08:09 9s
fix: use declared syntax for all Verso syntax Consistent Subverso dependencies #11: Pull request #264 synchronize by david-christiansen
January 7, 2025 08:04 10s syntax-fix
syntax-fix
January 7, 2025 08:04 10s
fix: use declared syntax for all Verso syntax Consistent Subverso dependencies #10: Pull request #264 synchronize by david-christiansen
January 7, 2025 06:35 10s syntax-fix
syntax-fix
January 7, 2025 06:35 10s
fix: use declared syntax for all Verso syntax Consistent Subverso dependencies #9: Pull request #264 synchronize by david-christiansen
January 7, 2025 06:15 10s syntax-fix
syntax-fix
January 7, 2025 06:15 10s
fix: use declared syntax for all Verso syntax Consistent Subverso dependencies #8: Pull request #264 synchronize by david-christiansen
January 6, 2025 16:13 13s syntax-fix
syntax-fix
January 6, 2025 16:13 13s
fix: use declared syntax for all Verso syntax Consistent Subverso dependencies #7: Pull request #264 synchronize by david-christiansen
January 6, 2025 16:07 10s syntax-fix
syntax-fix
January 6, 2025 16:07 10s
fix: use declared syntax for all Verso syntax Consistent Subverso dependencies #6: Pull request #264 synchronize by david-christiansen
January 6, 2025 14:56 9s syntax-fix
syntax-fix
January 6, 2025 14:56 9s
fix: use declared syntax for all Verso syntax Consistent Subverso dependencies #5: Pull request #264 synchronize by david-christiansen
January 6, 2025 14:54 16s syntax-fix
syntax-fix
January 6, 2025 14:54 16s
fix: use declared syntax for all Verso syntax Consistent Subverso dependencies #4: Pull request #264 opened by david-christiansen
January 6, 2025 14:14 19s syntax-fix
syntax-fix
January 6, 2025 14:14 19s
chore: improve CI parallelism Consistent Subverso dependencies #3: Pull request #263 synchronize by david-christiansen
January 6, 2025 10:22 12s ci-updates
ci-updates
January 6, 2025 10:22 12s
chore: improve CI parallelism Consistent Subverso dependencies #2: Pull request #263 opened by david-christiansen
January 6, 2025 10:20 10s ci-updates
ci-updates
January 6, 2025 10:20 10s
chore: improve CI parallelism Consistent Subverso dependencies #1: Commit 97f640f pushed by david-christiansen
January 6, 2025 10:20 11s ci-updates
ci-updates
January 6, 2025 10:20 11s