Skip to content

Actions: leanprover/reference-manual

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,689 workflow run results
5,689 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: further grind examples Check for too-big Lean imports #748: Pull request #501 synchronize by kim-em
10s grind_examples
grind_examples
10s
feat: further grind examples Check PR title for commit convention #831: Pull request #501 synchronize by kim-em
6s grind_examples
grind_examples
6s
feat: further grind examples Check for copyright headers #748: Pull request #501 synchronize by kim-em
8s grind_examples
grind_examples
8s
feat: further grind examples Check for copyright headers #445: Pull request #501 synchronize by kim-em
1m 22s grind_examples
grind_examples
1m 22s
Update nightly-testing Update nightly-testing #21: Scheduled
12s main
main
12s
Merge main to nightly Merge main to nightly #21: Scheduled
17m 38s main
main
17m 38s
Deploy PR for review Deploy PR for review #740: completed by david-christiansen
1s
1s
Label PRs with artifacts Label PRs with artifacts #852: completed by david-christiansen
1s
1s
chore: fix release metadata Report PR testing status to the lean4 repository #9: Commit 6223860 pushed by david-christiansen
18m 41s main
main
18m 41s
chore: fix release metadata Build and check HTML #1206: Commit 6223860 pushed by david-christiansen
21m 39s main
main
21m 39s
Label PRs with artifacts Label PRs with artifacts #851: completed by david-christiansen
15s
15s
Deploy PR for review Deploy PR for review #739: completed by david-christiansen
30s
30s
Label PRs with artifacts Label PRs with artifacts #850: completed by david-christiansen
9s
9s
Deploy PR for review Deploy PR for review #738: completed by david-christiansen
10s
10s
chore: v4.22-rc1 release Check for copyright headers #444: Pull request #508 synchronize by david-christiansen
27s main-with-22
main-with-22
27s
chore: v4.22-rc1 release Build and check HTML #1205: Pull request #508 synchronize by david-christiansen
21m 11s main-with-22
main-with-22
21m 11s
chore: v4.22-rc1 release Check for too-big Lean imports #747: Pull request #508 synchronize by david-christiansen
8s main-with-22
main-with-22
8s
chore: v4.22-rc1 release Check for copyright headers #747: Pull request #508 synchronize by david-christiansen
8s main-with-22
main-with-22
8s
chore: v4.22-rc1 release Check PR title for commit convention #830: Pull request #508 synchronize by david-christiansen
8s main-with-22
main-with-22
8s
chore: v4.22-rc1 release Check for too-big Lean imports #746: Pull request #508 opened by david-christiansen
9s main-with-22
main-with-22
9s
chore: v4.22-rc1 release Check PR title for commit convention #829: Pull request #508 opened by david-christiansen
10s main-with-22
main-with-22
10s
chore: v4.22-rc1 release Check for copyright headers #746: Pull request #508 opened by david-christiansen
11s main-with-22
main-with-22
11s
chore: v4.22-rc1 release Check for copyright headers #443: Pull request #508 opened by david-christiansen
30s main-with-22
main-with-22
30s
chore: v4.22-rc1 release Build and check HTML #1204: Pull request #508 opened by david-christiansen
20m 30s main-with-22
main-with-22
20m 30s
Update nightly-testing Update nightly-testing #20: Scheduled
11s main
main
11s