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

Update nightly-testing Update nightly-testing #24: Scheduled
17s main
main
17s
Deploy PR for review Deploy PR for review #757: completed by leanprover-bot
1s
1s
Label PRs with artifacts Label PRs with artifacts #869: completed by leanprover-bot
1s
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/9017 Report PR testing status to the lean4 repository #15: Commit ed4d942 pushed by leanprover-bot
4s lean-pr-testing-9017
lean-pr-testing-9017
4s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/9017 Build and check HTML #1223: Commit ed4d942 pushed by leanprover-bot
4s lean-pr-testing-9017
lean-pr-testing-9017
4s
Merge main to nightly Merge main to nightly #24: Scheduled
5s main
main
5s
Deploy PR for review Deploy PR for review #756: completed by Kha
Skipped
Skipped
Label PRs with artifacts Label PRs with artifacts #868: completed by Kha
6s
6s
Label PRs with artifacts Label PRs with artifacts #867: completed by Kha
6s
6s
Deploy PR for review Deploy PR for review #755: completed by Kha
1s
1s
feat: add module system appendix Check for too-big Lean imports #758: Pull request #514 opened by Kha
10s module-system
module-system
10s
feat: add module system appendix Build and check HTML #1222: Pull request #514 opened by Kha
7s module-system
module-system
7s
feat: add module system appendix Check for copyright headers #455: Pull request #514 opened by Kha
1m 3s module-system
module-system
1m 3s
feat: add module system appendix Check PR title for commit convention #842: Pull request #514 opened by Kha
8s module-system
module-system
8s
feat: add module system appendix Check for copyright headers #758: Pull request #514 opened by Kha
8s module-system
module-system
8s
Update nightly-testing Update nightly-testing #23: Scheduled
11m 23s main
main
11m 23s
Merge main to nightly Merge main to nightly #23: Scheduled
17m 47s main
main
17m 47s
Deploy PR for review Deploy PR for review #754: completed by leanprover-bot
1s
1s
Label PRs with artifacts Label PRs with artifacts #866: completed by leanprover-bot
1s
1s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #1221: Commit deba041 pushed by leanprover-bot
17m 5s lean-pr-testing-9017
lean-pr-testing-9017
17m 5s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #14: Commit deba041 pushed by leanprover-bot
17m 22s lean-pr-testing-9017
lean-pr-testing-9017
17m 22s
Update nightly-testing Update nightly-testing #22: Scheduled
11m 14s main
main
11m 14s
Merge main to nightly Merge main to nightly #22: Scheduled
17m 54s main
main
17m 54s
Deploy PR for review Deploy PR for review #753: completed by adomani
24s
24s
Label PRs with artifacts Label PRs with artifacts #865: completed by adomani
9s
9s