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 #1308: Scheduled
11s main
main
11s
Merge main to nightly Merge main to nightly #1321: Scheduled
9m 15s main
main
9m 15s
Deploy PR Preview Deploy PR Preview #1011: completed by Vtec234
1s
1s
chore: use upstream HTML type Release note required #96: Pull request #974 edited by Vtec234
6s adapt-html-type
adapt-html-type
6s
chore: use upstream HTML type Check PR title follows commit convention #415: Pull request #974 edited by Vtec234
6s adapt-html-type
adapt-html-type
6s
chore: use upstream HTML type Release note required #95: Pull request #974 edited by Vtec234
7s adapt-html-type
adapt-html-type
7s
chore: use upstream HTML type Check PR title follows commit convention #414: Pull request #974 edited by Vtec234
10s adapt-html-type
adapt-html-type
10s
Deploy PR Preview Deploy PR Preview #1010: completed by Vtec234
1s
1s
chore: use upstream HTML type Continuous Integration #3237: Pull request #974 synchronize by Vtec234
8m 26s adapt-html-type
adapt-html-type
8m 26s
chore: use upstream HTML type All test modules imported #833: Pull request #974 synchronize by Vtec234
10s adapt-html-type
adapt-html-type
10s
chore: use upstream HTML type No #eval in source files #837: Pull request #974 synchronize by Vtec234
8s adapt-html-type
adapt-html-type
8s
chore: use upstream HTML type Check for copyright header and too-big Lean imports #2191: Pull request #974 synchronize by Vtec234
10s adapt-html-type
adapt-html-type
10s
chore: use upstream HTML type Check Code Formatting #1054: Pull request #974 synchronize by Vtec234
19s adapt-html-type
adapt-html-type
19s
chore: use upstream HTML type Check toolchain file #1593: Pull request #974 synchronize by Vtec234
9s adapt-html-type
adapt-html-type
9s
chore: use upstream HTML type Check for trailing newlines #1074: Pull request #974 synchronize by Vtec234
11s adapt-html-type
adapt-html-type
11s
chore: use upstream HTML type Release note required #94: Pull request #974 synchronize by Vtec234
8s adapt-html-type
adapt-html-type
8s
chore: use upstream HTML type Consistent subproject dependencies #2198: Pull request #974 synchronize by Vtec234
10s adapt-html-type
adapt-html-type
10s
chore: use upstream HTML type Lint GitHub Actions workflows #1044: Pull request #974 synchronize by Vtec234
16s adapt-html-type
adapt-html-type
16s
chore: use upstream HTML type Release note required #93: Pull request #974 edited by Vtec234
10s adapt-html-type
adapt-html-type
10s
chore: use upstream HTML type Check PR title follows commit convention #413: Pull request #974 edited by Vtec234
7s adapt-html-type
adapt-html-type
7s
chore: use upstream HTML type Check for copyright header and too-big Lean imports #2190: Pull request #974 opened by Vtec234
9s adapt-html-type
adapt-html-type
9s
chore: use upstream HTML type Check PR title follows commit convention #412: Pull request #974 opened by Vtec234
6s adapt-html-type
adapt-html-type
6s
chore: use upstream HTML type Check Code Formatting #1053: Pull request #974 opened by Vtec234
18s adapt-html-type
adapt-html-type
18s
chore: use upstream HTML type Release note required #92: Pull request #974 opened by Vtec234
10s adapt-html-type
adapt-html-type
10s
chore: use upstream HTML type Clean Dependabot PR descriptions #193: Pull request #974 opened by Vtec234
2s adapt-html-type
adapt-html-type
2s