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 #417: Scheduled
8m 53s main
main
8m 53s
Update nightly-testing Update nightly-testing #1136: Scheduled
17s main
main
17s
Merge main to nightly Merge main to nightly #1137: Scheduled
5m 34s main
main
5m 34s
Label PRs with artifacts Label PRs with artifacts #2782: completed by leanprover-bot
2s
2s
Deploy PR for review Deploy PR for review #2670: completed by leanprover-bot
2s
2s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/14222 Build and check HTML #3163: Commit adb77e0 pushed by leanprover-bot
7m 38s lean-pr-testing-14222
lean-pr-testing-14222
7m 38s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/14222 Report PR testing status to the lean4 repository #762: Commit adb77e0 pushed by leanprover-bot
5m 44s lean-pr-testing-14222
lean-pr-testing-14222
5m 44s
Deploy PR for review Deploy PR for review #2669: completed by leanprover-bot
1s
1s
Label PRs with artifacts Label PRs with artifacts #2781: completed by leanprover-bot
2s
2s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3162: Commit f83aa6e pushed by leanprover-bot
7m 54s lean-pr-testing-14228
lean-pr-testing-14228
7m 54s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #761: Commit f83aa6e pushed by leanprover-bot
6m 0s lean-pr-testing-14228
lean-pr-testing-14228
6m 0s
Deploy PR for review Deploy PR for review #2668: completed by leanprover-bot
1s
1s
Label PRs with artifacts Label PRs with artifacts #2780: completed by leanprover-bot
1s
1s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #760: Commit cdd46a4 pushed by leanprover-bot
6m 11s lean-pr-testing-14195
lean-pr-testing-14195
6m 11s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3161: Commit cdd46a4 pushed by leanprover-bot
7m 5s lean-pr-testing-14195
lean-pr-testing-14195
7m 5s
Update nightly-testing Update nightly-testing #1135: Scheduled
19s main
main
19s
Merge main to nightly Merge main to nightly #1136: Scheduled
6m 2s main
main
6m 2s
Label PRs with artifacts Label PRs with artifacts #2779: completed by leanprover-bot
2s
2s
Deploy PR for review Deploy PR for review #2667: completed by leanprover-bot
6s
6s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #759: Commit 197da8e pushed by leanprover-bot
6m 12s lean-pr-testing-14227
lean-pr-testing-14227
6m 12s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3160: Commit 197da8e pushed by leanprover-bot
6m 8s lean-pr-testing-14227
lean-pr-testing-14227
6m 8s
Nightly with Manual Nightly with Manual #416: Scheduled
9m 5s main
main
9m 5s
Deploy PR for review Deploy PR for review #2666: completed by leanprover-bot
9s
9s
Label PRs with artifacts Label PRs with artifacts #2778: completed by leanprover-bot
1s
1s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3159: Commit 1efe57d pushed by leanprover-bot
8m 3s lean-pr-testing-14215
lean-pr-testing-14215
8m 3s