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 #530: Scheduled
9m 27s main
main
9m 27s
Update nightly-testing Update nightly-testing #1312: Scheduled
13m 17s main
main
13m 17s
Merge main to nightly Merge main to nightly #1309: Scheduled
1m 59s main
main
1m 59s
Update nightly-testing Update nightly-testing #1311: Scheduled
19m 10s main
main
19m 10s
Deploy PR for review Deploy PR for review #3065: completed by leanprover-bot
1s
1s
Label PRs with artifacts Label PRs with artifacts #3177: completed by leanprover-bot
10s
10s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #1044: Commit 97b48ba pushed by leanprover-bot
9m 44s lean-pr-testing-14912
lean-pr-testing-14912
9m 44s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3558: Commit 97b48ba pushed by leanprover-bot
6m 19s lean-pr-testing-14912
lean-pr-testing-14912
6m 19s
Merge main to nightly Merge main to nightly #1308: Scheduled
2m 3s main
main
2m 3s
Nightly with Manual Nightly with Manual #529: Scheduled
1h 23m 29s main
main
1h 23m 29s
Deploy PR for review Deploy PR for review #3064: completed by leanprover-bot
1s
1s
Label PRs with artifacts Label PRs with artifacts #3176: completed by leanprover-bot
7s
7s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3557: Commit d04d8d9 pushed by leanprover-bot
6m 29s lean-pr-testing-14909
lean-pr-testing-14909
6m 29s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #1043: Commit d04d8d9 pushed by leanprover-bot
5m 28s lean-pr-testing-14909
lean-pr-testing-14909
5m 28s
Label PRs with artifacts Label PRs with artifacts #3175: completed by leanprover-bot
1s
1s
Deploy PR for review Deploy PR for review #3063: completed by leanprover-bot
1s
1s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3556: Commit f078fdb pushed by leanprover-bot
7m 5s lean-pr-testing-14908
lean-pr-testing-14908
7m 5s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #1042: Commit f078fdb pushed by leanprover-bot
4m 53s lean-pr-testing-14908
lean-pr-testing-14908
4m 53s
Update nightly-testing Update nightly-testing #1310: Scheduled
17s main
main
17s
Merge main to nightly Merge main to nightly #1307: Scheduled
2m 9s main
main
2m 9s
Deploy PR for review Deploy PR for review #3062: completed by leanprover-bot
1s
1s
Label PRs with artifacts Label PRs with artifacts #3174: completed by leanprover-bot
2s
2s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #1041: Commit 0a93706 pushed by leanprover-bot
7m 58s lean-pr-testing-14905
lean-pr-testing-14905
7m 58s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3555: Commit 0a93706 pushed by leanprover-bot
9m 29s lean-pr-testing-14905
lean-pr-testing-14905
9m 29s
Label PRs with artifacts Label PRs with artifacts #3173: completed by leanprover-bot
1s
1s