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 #910: Scheduled
4m 4s main
main
4m 4s
Merge main to nightly Merge main to nightly #918: Scheduled
10m 16s main
main
10m 16s
Update nightly-testing Update nightly-testing #909: Scheduled
3m 36s main
main
3m 36s
Merge main to nightly Merge main to nightly #917: Scheduled
7m 59s main
main
7m 59s
Deploy PR Preview Deploy PR Preview #432: completed by github-merge-queue bot
1s
1s
chore: bump actions/github-script from 8 to 9 (#839) Format JS/CSS/HTML and Markdown #120: Commit 5cd850b pushed by github-merge-queue bot
16s main
main
16s
chore: bump actions/github-script from 8 to 9 (#839) Continuous Integration #2645: Commit 5cd850b pushed by github-merge-queue bot
7m 0s main
main
7m 0s
chore: bump actions/github-script from 8 to 9 (#839) Consistent subproject dependencies #1615: Commit 5cd850b pushed by github-merge-queue bot
10s main
main
10s
Deploy PR Preview Deploy PR Preview #431: completed by david-christiansen
1s
1s
Check for copyright header and too-big Lean imports Check for copyright header and too-big Lean imports #1699: Merge group checks requested
7s
7s
No #eval in source files No #eval in source files #344: Merge group checks requested
7s
7s
Continuous Integration Continuous Integration #2644: Merge group checks requested
6m 49s
6m 49s
Check PR title follows commit convention Check PR title follows commit convention #122: Merge group checks requested
6s
6s
Consistent subproject dependencies Consistent subproject dependencies #1614: Merge group checks requested
7s
7s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #562: Merge group checks requested
13s
13s
Check toolchain file Check toolchain file #1105: Merge group checks requested
10s
10s
All test modules imported All test modules imported #344: Merge group checks requested
6s
6s
Lint GitHub Actions workflows Lint GitHub Actions workflows #552: Merge group checks requested
12s
12s
Check for trailing newlines Check for trailing newlines #580: Merge group checks requested
7s
7s
Update nightly-testing Update nightly-testing #908: Scheduled
4m 0s main
main
4m 0s
Merge main to nightly Merge main to nightly #916: Scheduled
6m 37s main
main
6m 37s
Update nightly-testing Update nightly-testing #907: Scheduled
3m 31s main
main
3m 31s
Merge main to nightly Merge main to nightly #915: Scheduled
6m 43s main
main
6m 43s
Update nightly-testing Update nightly-testing #906: Scheduled
4m 5s main
main
4m 5s
Merge main to nightly Merge main to nightly #914: Scheduled
6m 53s main
main
6m 53s