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
Merge main to nightly Merge main to nightly #1150: Scheduled
5m 11s main
main
5m 11s
Update nightly-testing Update nightly-testing #1150: Scheduled
13m 7s main
main
13m 7s
Merge main to nightly Merge main to nightly #1149: Scheduled
5m 15s main
main
5m 15s
Nightly with Manual Nightly with Manual #424: Scheduled
8m 53s main
main
8m 53s
Update nightly-testing Update nightly-testing #1149: Scheduled
18m 46s main
main
18m 46s
Merge main to nightly Merge main to nightly #1148: Scheduled
5m 16s main
main
5m 16s
Nightly with Manual Nightly with Manual #423: Scheduled
8m 52s main
main
8m 52s
Update nightly-testing Update nightly-testing #1148: Scheduled
18m 28s main
main
18m 28s
Merge main to nightly Merge main to nightly #1147: Scheduled
5m 52s main
main
5m 52s
Label PRs with artifacts Label PRs with artifacts #2802: completed by leanprover-bot
2s
2s
Deploy PR for review Deploy PR for review #2690: completed by leanprover-bot
10s
10s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/14248 Report PR testing status to the lean4 repository #780: Commit 38ade41 pushed by leanprover-bot
5m 12s lean-pr-testing-14248
lean-pr-testing-14248
5m 12s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/14248 Build and check HTML #3183: Commit 38ade41 pushed by leanprover-bot
6m 41s lean-pr-testing-14248
lean-pr-testing-14248
6m 41s
Update nightly-testing Update nightly-testing #1147: Manually run by robsimmons
17m 17s main
main
17m 17s
Merge main to nightly Merge main to nightly #1146: Manually run by robsimmons
5m 26s main
main
5m 26s
Update nightly-testing Update nightly-testing #1146: Manually run by robsimmons
5m 22s main
main
5m 22s
Update nightly-testing Update nightly-testing #1145: Manually run by robsimmons
5m 0s main
main
5m 0s
Update nightly-testing Update nightly-testing #1144: Scheduled
5m 8s main
main
5m 8s
Merge main to nightly Merge main to nightly #1145: Scheduled
5m 20s main
main
5m 20s
Nightly with Manual Nightly with Manual #422: Scheduled
57m 6s main
main
57m 6s
Deploy PR for review Deploy PR for review #2689: completed by leanprover-bot
1s
1s
Label PRs with artifacts Label PRs with artifacts #2801: completed by leanprover-bot
8s
8s
Update nightly-testing Update nightly-testing #1143: Scheduled
4m 55s main
main
4m 55s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #779: Commit 26adbdc pushed by leanprover-bot
5m 33s lean-pr-testing-14259
lean-pr-testing-14259
5m 33s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3182: Commit 26adbdc pushed by leanprover-bot
5m 59s lean-pr-testing-14259
lean-pr-testing-14259
5m 59s