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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge main to nightly
Merge main to nightly #1424: Scheduled
In progress main
Update nightly-testing
Update nightly-testing #1409: Scheduled
11m 4s main
Merge main to nightly
Merge main to nightly #1423: Scheduled
12m 16s main
Deploy PR Preview
Deploy PR Preview #1182: completed by david-christiansen
4s
Update nightly-testing
Update nightly-testing #1408: Scheduled
10s main
Merge main to nightly
Merge main to nightly #1422: Scheduled
4m 7s main
Deploy PR Preview
Deploy PR Preview #1181: completed by github-merge-queue Bot
1s
fix: output Errata runner messages incrementally (#1012)
Consistent subproject dependencies #2362: Commit fce722a pushed by github-merge-queue Bot
10s main
Deploy PR Preview
Deploy PR Preview #1180: completed by david-christiansen
1s
Deploy PR Preview
Deploy PR Preview #1179: completed by github-merge-queue Bot
1s
Check for copyright header and too-big Lean imports
Check for copyright header and too-big Lean imports #2328: Merge group checks requested
10s
Continuous Integration
Continuous Integration #3403: Merge group checks requested
27m 53s
No #eval in source files
No #eval in source files #974: Merge group checks requested
8s
Check PR title follows commit convention
Check PR title follows commit convention #503: Merge group checks requested
10s
Check Code Formatting
Check Code Formatting #1191: Merge group checks requested
24s
Check for trailing newlines
Check for trailing newlines #1211: Merge group checks requested
9s
Consistent subproject dependencies
Consistent subproject dependencies #2361: Merge group checks requested
44s
Check toolchain file
Check toolchain file #1730: Merge group checks requested
7s
All test modules imported
All test modules imported #970: Merge group checks requested
11s
Lint GitHub Actions workflows
Lint GitHub Actions workflows #1181: Merge group checks requested
11s
Deploy PR Preview
Deploy PR Preview #1178: completed by david-christiansen
1s