Skip to content

Actions: leanprover/reference-manual

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12,872 workflow runs
12,872 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge main to nightly Merge main to nightly #660: Scheduled
2m 37s main
main
2m 37s
Update nightly-testing Update nightly-testing #657: Scheduled
23m 40s main
main
23m 40s
Merge main to nightly Merge main to nightly #659: Scheduled
2m 36s main
main
2m 36s
Nightly with Manual Nightly with Manual #102: Scheduled
6m 46s main
main
6m 46s
Update nightly-testing Update nightly-testing #656: Scheduled
22m 46s main
main
22m 46s
Merge main to nightly Merge main to nightly #658: Scheduled
2m 37s main
main
2m 37s
Deploy the 'postdeploy' branch Deploy the 'postdeploy' branch #56: completed by kim-em
2m 13s
2m 13s
Apply Overlays Apply Overlays #21: completed by kim-em
1m 34s
1m 34s
Label PRs with artifacts Label PRs with artifacts #1995: completed by github-merge-queue bot
1s
1s
Deploy PR for review Deploy PR for review #1883: completed by github-merge-queue bot
1s
1s
chore: bump toolchain to v4.27.0 (#757) Deploy Tagged Version #51: Commit 54a25a6 pushed by kim-em
21m 6s v4.27.0
v4.27.0
21m 6s
chore: bump toolchain to v4.27.0 (#757) Build and check HTML #2364: Commit 54a25a6 pushed by github-merge-queue bot
10m 50s main
main
10m 50s
chore: bump toolchain to v4.27.0 (#757) Report PR testing status to the lean4 repository #381: Commit 54a25a6 pushed by github-merge-queue bot
6m 39s main
main
6m 39s
Deploy PR for review Deploy PR for review #1882: completed by kim-em
1s
1s
Label PRs with artifacts Label PRs with artifacts #1994: completed by kim-em
1s
1s
Check for too-big Lean imports Check for too-big Lean imports #1493: Merge group checks requested
8s
8s
Check for copyright headers Check for copyright headers #1493: Merge group checks requested
8s
8s
Build and check HTML Build and check HTML #2363: Merge group checks requested
10m 28s
10m 28s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #169: Merge group checks requested
16s
16s
Check PR title for commit convention Check PR title for commit convention #1664: Merge group checks requested
8s
8s
Label PRs with artifacts Label PRs with artifacts #1993: completed by kim-em
14s
14s
Deploy PR for review Deploy PR for review #1881: completed by kim-em
34s
34s
Label PRs with artifacts Label PRs with artifacts #1992: completed by kim-em
22s
22s
Deploy PR for review Deploy PR for review #1880: completed by kim-em
15s
15s
chore: bump toolchain to v4.27.0 Check for too-big Lean imports #1492: Pull request #757 synchronize by kim-em
10s bump_to_v4.27.0
bump_to_v4.27.0
10s