Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Update nightly-testing Update nightly-testing #1311: Scheduled
9s main
main
9s
Merge main to nightly Merge main to nightly #1324: Scheduled
9m 14s main
main
9m 14s
Update nightly-testing Update nightly-testing #1310: Scheduled
12s main
main
12s
Merge main to nightly Merge main to nightly #1323: Scheduled
9m 48s main
main
9m 48s
Deploy PR Preview Deploy PR Preview #1016: completed by github-merge-queue Bot
1s
1s
fix: section tag overlap in Manual (#975) Continuous Integration #3242: Commit ac797d6 pushed by github-merge-queue Bot
16m 33s main
main
16m 33s
fix: section tag overlap in Manual (#975) Consistent subproject dependencies #2203: Commit ac797d6 pushed by github-merge-queue Bot
8s main
main
8s
Deploy PR Preview Deploy PR Preview #1015: completed by david-christiansen
1s
1s
Consistent subproject dependencies Consistent subproject dependencies #2202: Merge group checks requested
8s
8s
Check Code Formatting Check Code Formatting #1058: Merge group checks requested
15s
15s
Lint GitHub Actions workflows Lint GitHub Actions workflows #1048: Merge group checks requested
22s
22s
Continuous Integration Continuous Integration #3241: Merge group checks requested
15m 4s
15m 4s
Check for trailing newlines Check for trailing newlines #1078: Merge group checks requested
10s
10s
Check PR title follows commit convention Check PR title follows commit convention #418: Merge group checks requested
8s
8s
Check for copyright header and too-big Lean imports Check for copyright header and too-big Lean imports #2195: Merge group checks requested
7s
7s
All test modules imported All test modules imported #837: Merge group checks requested
12s
12s
Check toolchain file Check toolchain file #1597: Merge group checks requested
10s
10s
No #eval in source files No #eval in source files #841: Merge group checks requested
10s
10s
Deploy PR Preview Deploy PR Preview #1014: completed by david-christiansen
14s
14s
Deploy PR Preview Deploy PR Preview #1013: completed by david-christiansen
12s
12s
fix: section tag overlap in Manual Check toolchain file #1596: Pull request #975 synchronize by david-christiansen
9s tags
tags
9s
fix: section tag overlap in Manual Lint GitHub Actions workflows #1047: Pull request #975 synchronize by david-christiansen
12s tags
tags
12s
fix: section tag overlap in Manual Continuous Integration #3240: Pull request #975 synchronize by david-christiansen
15m 51s tags
tags
15m 51s
fix: section tag overlap in Manual Check for trailing newlines #1077: Pull request #975 synchronize by david-christiansen
7s tags
tags
7s
fix: section tag overlap in Manual Check Code Formatting #1057: Pull request #975 synchronize by david-christiansen
15s tags
tags
15s