Skip to content

Actions: leanprover/reference-manual

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13,708 workflow runs
13,708 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge main to nightly Merge main to nightly #786: Scheduled
3m 8s main
main
3m 8s
Deploy PR for review Deploy PR for review #2080: completed by leanprover-bot
Skipped
Skipped
Label PRs with artifacts Label PRs with artifacts #2192: completed by leanprover-bot
Skipped
Skipped
Update lean-toolchain for https://github.com/leanprover/lean4/pull/12233 Report PR testing status to the lean4 repository #476: Commit 1a31606 pushed by leanprover-bot
17s lean-pr-testing-12233
lean-pr-testing-12233
17s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/12233 Build and check HTML #2560: Commit 1a31606 pushed by leanprover-bot
20s lean-pr-testing-12233
lean-pr-testing-12233
20s
Update nightly-testing Update nightly-testing #785: Scheduled
19m 11s main
main
19m 11s
Merge main to nightly Merge main to nightly #785: Scheduled
3m 6s main
main
3m 6s
Nightly with Manual Nightly with Manual #186: Scheduled
7m 42s main
main
7m 42s
Label PRs with artifacts Label PRs with artifacts #2191: completed by github-merge-queue bot
1s
1s
Deploy PR for review Deploy PR for review #2079: completed by github-merge-queue bot
1s
1s
fix: Typo correction (#795) Report PR testing status to the lean4 repository #475: Commit 441a250 pushed by github-merge-queue bot
2m 26s main
main
2m 26s
fix: Typo correction (#795) Build and check HTML #2559: Commit 441a250 pushed by github-merge-queue bot
6m 18s main
main
6m 18s
Deploy PR for review Deploy PR for review #2078: completed by nomeata
1s
1s
Label PRs with artifacts Label PRs with artifacts #2190: completed by nomeata
1s
1s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #260: Merge group checks requested
19s
19s
Check for too-big Lean imports Check for too-big Lean imports #1584: Merge group checks requested
8s
8s
Check PR title for commit convention Check PR title for commit convention #1759: Merge group checks requested
6s
6s
Build and check HTML Build and check HTML #2558: Merge group checks requested
6m 19s
6m 19s
Check for copyright headers Check for copyright headers #1584: Merge group checks requested
8s
8s
Label PRs with artifacts Label PRs with artifacts #2189: completed by rdavison
22s
22s
Deploy PR for review Deploy PR for review #2077: completed by rdavison
27s
27s
Update nightly-testing Update nightly-testing #784: Scheduled
18m 41s main
main
18m 41s
Merge main to nightly Merge main to nightly #784: Scheduled
3m 16s main
main
3m 16s
fix: Typo correction Check Formatting of JS/CSS/HTML and Markdown #259: Pull request #795 opened by rdavison
19s rdavison:main
rdavison:main
19s
fix: Typo correction Check PR title for commit convention #1758: Pull request #795 opened by rdavison
7s rdavison:main
rdavison:main
7s