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
Nightly with Manual Nightly with Manual #275: Scheduled
8m 37s main
main
8m 37s
Update nightly-testing Update nightly-testing #918: Scheduled
6m 30s main
main
6m 30s
Merge main to nightly Merge main to nightly #919: Scheduled
4m 40s main
main
4m 40s
Deploy the 'postdeploy' branch Deploy the 'postdeploy' branch #72: completed by Garmelon
2m 13s
2m 13s
Apply Overlays Apply Overlays #37: completed by Garmelon
2m 33s
2m 33s
Label PRs with artifacts Label PRs with artifacts #2470: completed by Garmelon
14s
14s
Deploy PR for review Deploy PR for review #2358: completed by Garmelon
33s
33s
chore: bump toolchain to v4.30.0-rc2 (#835) Deploy Tagged Version #65: Commit ab5be92 pushed by Garmelon
18m 41s v4.30.0-rc2
v4.30.0-rc2
18m 41s
chore: add v4.30.0 release notes highlights Check for too-big Lean imports #1727: Pull request #836 opened by Garmelon
8s highlights-v4.30.0
highlights-v4.30.0
8s
chore: add v4.30.0 release notes highlights Check Formatting of JS/CSS/HTML and Markdown #403: Pull request #836 opened by Garmelon
19s highlights-v4.30.0
highlights-v4.30.0
19s
chore: add v4.30.0 release notes highlights Check for copyright headers #1727: Pull request #836 opened by Garmelon
9s highlights-v4.30.0
highlights-v4.30.0
9s
chore: add v4.30.0 release notes highlights Build and check HTML #2836: Pull request #836 opened by Garmelon
6m 23s highlights-v4.30.0
highlights-v4.30.0
6m 23s
chore: add v4.30.0 release notes highlights Check PR title for commit convention #1907: Pull request #836 opened by Garmelon
5s highlights-v4.30.0
highlights-v4.30.0
5s
Label PRs with artifacts Label PRs with artifacts #2469: completed by github-merge-queue bot
Skipped
Skipped
Deploy PR for review Deploy PR for review #2357: completed by github-merge-queue bot
1s
1s
chore: bump toolchain to v4.30.0-rc2 (#835) Build and check HTML #2835: Commit ab5be92 pushed by github-merge-queue bot
11m 12s main
main
11m 12s
chore: bump toolchain to v4.30.0-rc2 (#835) Report PR testing status to the lean4 repository #600: Commit ab5be92 pushed by github-merge-queue bot
5m 57s main
main
5m 57s
Label PRs with artifacts Label PRs with artifacts #2468: completed by Garmelon
2s
2s
Deploy PR for review Deploy PR for review #2356: completed by Garmelon
1s
1s
Deploy PR for review Deploy PR for review #2355: completed by leanprover-bot
2s
2s
Label PRs with artifacts Label PRs with artifacts #2467: completed by leanprover-bot
1s
1s
Build and check HTML Build and check HTML #2834: Merge group checks requested
11m 26s
11m 26s
Check PR title for commit convention Check PR title for commit convention #1906: Merge group checks requested
8s
8s
Check for copyright headers Check for copyright headers #1726: Merge group checks requested
11s
11s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #402: Merge group checks requested
18s
18s