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
Deploy PR for review Deploy PR for review #3116: completed by leanprover-bot
1s
1s
Label PRs with artifacts Label PRs with artifacts #3228: completed by leanprover-bot
1s
1s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3610: Commit a635676 pushed by leanprover-bot
6m 23s lean-pr-testing-13815
lean-pr-testing-13815
6m 23s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #1080: Commit a635676 pushed by leanprover-bot
5m 16s lean-pr-testing-13815
lean-pr-testing-13815
5m 16s
Nightly with Manual Nightly with Manual #540: Scheduled
8m 53s main
main
8m 53s
Update nightly-testing Update nightly-testing #1328: Scheduled
18m 23s main
main
18m 23s
Merge main to nightly Merge main to nightly #1324: Scheduled
1m 55s main
main
1m 55s
Deploy PR for review Deploy PR for review #3115: completed by leanprover-bot
1s
1s
Label PRs with artifacts Label PRs with artifacts #3227: completed by leanprover-bot
1s
1s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3609: Commit ddd977f pushed by leanprover-bot
6m 31s lean-pr-testing-14970
lean-pr-testing-14970
6m 31s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #1079: Commit ddd977f pushed by leanprover-bot
5m 20s lean-pr-testing-14970
lean-pr-testing-14970
5m 20s
Deploy PR for review Deploy PR for review #3114: completed by leanprover-bot
1s
1s
Label PRs with artifacts Label PRs with artifacts #3226: completed by leanprover-bot
1s
1s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #1078: Commit 5632a28 pushed by leanprover-bot
5m 12s lean-pr-testing-14969
lean-pr-testing-14969
5m 12s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3608: Commit 5632a28 pushed by leanprover-bot
5m 44s lean-pr-testing-14969
lean-pr-testing-14969
5m 44s
Deploy PR for review Deploy PR for review #3113: completed by leanprover-bot
11s
11s
Label PRs with artifacts Label PRs with artifacts #3225: completed by leanprover-bot
2s
2s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3607: Commit 272dbec pushed by leanprover-bot
6m 41s lean-pr-testing-13806
lean-pr-testing-13806
6m 41s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #1077: Commit 272dbec pushed by leanprover-bot
5m 10s lean-pr-testing-13806
lean-pr-testing-13806
5m 10s
Label PRs with artifacts Label PRs with artifacts #3224: completed by leanprover-bot
8s
8s
Deploy PR for review Deploy PR for review #3112: completed by leanprover-bot
2s
2s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3606: Commit e7bbd0e pushed by leanprover-bot
6m 39s lean-pr-testing-14968
lean-pr-testing-14968
6m 39s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #1076: Commit e7bbd0e pushed by leanprover-bot
4m 57s lean-pr-testing-14968
lean-pr-testing-14968
4m 57s
Update nightly-testing Update nightly-testing #1327: Scheduled
18m 17s main
main
18m 17s
Merge main to nightly Merge main to nightly #1323: Scheduled
1m 52s main
main
1m 52s