Skip to content

Actions: leanprover/subverso

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Test with Lean nightly Test with Lean nightly #749: Scheduled
1m 26s main
main
1m 26s
Test with Lean nightly Test with Lean nightly #748: Scheduled
1m 32s main
main
1m 32s
Test with Lean nightly Test with Lean nightly #747: Scheduled
1m 26s main
main
1m 26s
Test with Lean nightly Test with Lean nightly #746: Scheduled
1m 29s main
main
1m 29s
Test with Lean nightly Test with Lean nightly #745: Scheduled
1m 31s main
main
1m 31s
fix: enable module linters (#242) CI #271: Commit acbaca2 pushed by david-christiansen
34m 25s main
main
34m 25s
fix: enable module linters (#242) Save demodulized code to no-modules branch #65: Commit acbaca2 pushed by david-christiansen
10s main
main
10s
fix: enable module linters (#242) Formalities #1055: Commit acbaca2 pushed by david-christiansen
1m 2s main
main
1m 2s
fix: enable module linters CI #270: Pull request #242 opened by david-christiansen
44m 3s module-linter-commands
module-linter-commands
44m 3s
fix: enable module linters Formalities #1054: Pull request #242 opened by david-christiansen
42s module-linter-commands
module-linter-commands
42s
fix: enable module linters Formalities #1053: Commit 1825f28 pushed by david-christiansen
25s module-linter-commands
module-linter-commands
25s
Test with Lean nightly Test with Lean nightly #744: Scheduled
1m 20s main
main
1m 20s
Test with Lean nightly Test with Lean nightly #743: Scheduled
1m 35s main
main
1m 35s
fix: support new doc comment format (#241) Formalities #1052: Commit d047cb4 pushed by leanprover-bot
32s verso-v4.35.0-rc3
verso-v4.35.0-rc3
32s
Test with Lean nightly Test with Lean nightly #742: Scheduled
1m 12s main
main
1m 12s
Test with Lean nightly Test with Lean nightly #741: Scheduled
1m 21s main
main
1m 21s
Test with Lean nightly Test with Lean nightly #740: Scheduled
1m 34s main
main
1m 34s
Test with Lean nightly Test with Lean nightly #739: Scheduled
1m 19s main
main
1m 19s
Test with Lean nightly Test with Lean nightly #738: Scheduled
1m 20s main
main
1m 20s
Test with Lean nightly Test with Lean nightly #737: Scheduled
1m 21s main
main
1m 21s
Test with Lean nightly Test with Lean nightly #736: Scheduled
1m 25s main
main
1m 25s
Test with Lean nightly Test with Lean nightly #735: Scheduled
1m 16s main
main
1m 16s
Test with Lean nightly Test with Lean nightly #734: Scheduled
1m 34s main
main
1m 34s
fix: support new doc comment format (#241) Formalities #1051: Commit d047cb4 pushed by leanprover-bot
38s verso-v4.35.0-rc2
verso-v4.35.0-rc2
38s
fix: support new doc comment format (#241) CI #269: Commit d047cb4 pushed by david-christiansen
43m 29s main
main
43m 29s