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
Merge main to nightly Merge main to nightly #1424: Scheduled
In progress main
main
In progress
Update nightly-testing Update nightly-testing #1409: Scheduled
11m 4s main
main
11m 4s
Merge main to nightly Merge main to nightly #1423: Scheduled
12m 16s main
main
12m 16s
Deploy PR Preview Deploy PR Preview #1182: completed by david-christiansen
4s
4s
chore: merge recent main changes in to nightly-testing (#1011) Continuous Integration #3405: Commit 5a2c9e4 pushed by david-christiansen
25m 8s nightly-testing
nightly-testing
25m 8s
Update nightly-testing Update nightly-testing #1408: Scheduled
10s main
main
10s
Merge main to nightly Merge main to nightly #1422: Scheduled
4m 7s main
main
4m 7s
Deploy PR Preview Deploy PR Preview #1181: completed by github-merge-queue Bot
1s
1s
fix: output Errata runner messages incrementally (#1012) Consistent subproject dependencies #2362: Commit fce722a pushed by github-merge-queue Bot
10s main
main
10s
fix: output Errata runner messages incrementally (#1012) Continuous Integration #3404: Commit fce722a pushed by github-merge-queue Bot
23m 21s main
main
23m 21s
Deploy PR Preview Deploy PR Preview #1180: completed by david-christiansen
1s
1s
Deploy PR Preview Deploy PR Preview #1179: completed by github-merge-queue Bot
1s
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
10s
Continuous Integration Continuous Integration #3403: Merge group checks requested
27m 53s
27m 53s
No #eval in source files No #eval in source files #974: Merge group checks requested
8s
8s
Check PR title follows commit convention Check PR title follows commit convention #503: Merge group checks requested
10s
10s
Check Code Formatting Check Code Formatting #1191: Merge group checks requested
24s
24s
Check for trailing newlines Check for trailing newlines #1211: Merge group checks requested
9s
9s
Consistent subproject dependencies Consistent subproject dependencies #2361: Merge group checks requested
44s
44s
Check toolchain file Check toolchain file #1730: Merge group checks requested
7s
7s
All test modules imported All test modules imported #970: Merge group checks requested
11s
11s
Lint GitHub Actions workflows Lint GitHub Actions workflows #1181: Merge group checks requested
11s
11s
fix: copy cached artifacts when building external Lean examples (#1010) Continuous Integration #3402: Commit 1bb6046 pushed by github-merge-queue Bot
24m 41s main
main
24m 41s
fix: copy cached artifacts when building external Lean examples (#1010) Consistent subproject dependencies #2360: Commit 1bb6046 pushed by github-merge-queue Bot
11s main
main
11s
Deploy PR Preview Deploy PR Preview #1178: completed by david-christiansen
1s
1s