Skip to content

Actions: leanprover/reference-manual

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 #1443: Scheduled
22s main
main
22s
Deploy the 'postdeploy' branch Deploy the 'postdeploy' branch #102: completed by Garmelon
4m 9s
4m 9s
Apply Overlays Apply Overlays #67: completed by Garmelon
4m 27s
4m 27s
chore: bump toolchain to v4.35.0-rc4 (#967) Deploy Tagged Version #93: Commit 135b9ad pushed by Garmelon
12m 27s v4.35.0-rc4
v4.35.0-rc4
12m 27s
Merge main to nightly Merge main to nightly #1440: Scheduled
4m 31s main
main
4m 31s
Label PRs with artifacts Label PRs with artifacts #3421: completed by github-merge-queue Bot
1s
1s
Deploy PR for review Deploy PR for review #3309: completed by github-merge-queue Bot
1s
1s
chore: bump toolchain to v4.35.0-rc4 (#967) Build and check HTML #3798: Commit 135b9ad pushed by github-merge-queue Bot
8m 41s main
main
8m 41s
Label PRs with artifacts Label PRs with artifacts #3420: completed by Garmelon
1s
1s
Deploy PR for review Deploy PR for review #3308: completed by Garmelon
7s
7s
Check PR title for commit convention Check PR title for commit convention #2303: Merge group checks requested
8s
8s
Check for copyright headers Check for copyright headers #2085: Merge group checks requested
11s
11s
Check dependency pins Check dependency pins #71: Merge group checks requested
10s
10s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #760: Merge group checks requested
20s
20s
Check for too-big Lean imports Check for too-big Lean imports #2085: Merge group checks requested
11s
11s
Build and check HTML Build and check HTML #3797: Merge group checks requested
9m 6s
9m 6s
Label PRs with artifacts Label PRs with artifacts #3419: completed by david-christiansen
20s
20s
Deploy PR for review Deploy PR for review #3307: completed by david-christiansen
43s
43s
chore: bump toolchain to v4.35.0-rc4 Check dependency pins #70: Pull request #967 synchronize by david-christiansen
10s bump-to-v4.35.0-rc4
bump-to-v4.35.0-rc4
10s
chore: bump toolchain to v4.35.0-rc4 Check for copyright headers #2084: Pull request #967 synchronize by david-christiansen
10s bump-to-v4.35.0-rc4
bump-to-v4.35.0-rc4
10s
chore: bump toolchain to v4.35.0-rc4 Build and check HTML #3796: Pull request #967 synchronize by david-christiansen
7m 47s bump-to-v4.35.0-rc4
bump-to-v4.35.0-rc4
7m 47s
chore: bump toolchain to v4.35.0-rc4 Check Formatting of JS/CSS/HTML and Markdown #759: Pull request #967 synchronize by david-christiansen
16s bump-to-v4.35.0-rc4
bump-to-v4.35.0-rc4
16s
chore: bump toolchain to v4.35.0-rc4 Check for too-big Lean imports #2084: Pull request #967 synchronize by david-christiansen
10s bump-to-v4.35.0-rc4
bump-to-v4.35.0-rc4
10s
chore: bump toolchain to v4.35.0-rc4 Check PR title for commit convention #2302: Pull request #967 synchronize by david-christiansen
8s bump-to-v4.35.0-rc4
bump-to-v4.35.0-rc4
8s
Update nightly-testing Update nightly-testing #1442: Scheduled
23m 21s main
main
23m 21s