Skip to content

Actions: leanprover/reference-manual

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12,844 workflow runs
12,844 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly with Manual Nightly with Manual #99: Scheduled
6m 43s main
main
6m 43s
Update nightly-testing Update nightly-testing #652: Scheduled
23m 33s main
main
23m 33s
Merge main to nightly Merge main to nightly #654: Scheduled
1m 58s main
main
1m 58s
Update nightly-testing Update nightly-testing #651: Scheduled
23m 5s main
main
23m 5s
Merge main to nightly Merge main to nightly #653: Scheduled
1m 56s main
main
1m 56s
Nightly with Manual Nightly with Manual #98: Scheduled
6m 47s main
main
6m 47s
Deploy PR for review Deploy PR for review #1878: completed by leanprover-bot
1s
1s
Label PRs with artifacts Label PRs with artifacts #1990: completed by leanprover-bot
1s
1s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #379: Commit 341dcb6 pushed by leanprover-bot
7m 9s lean-pr-testing-11956
lean-pr-testing-11956
7m 9s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #2359: Commit 341dcb6 pushed by leanprover-bot
8m 31s lean-pr-testing-11956
lean-pr-testing-11956
8m 31s
Update nightly-testing Update nightly-testing #650: Scheduled
23m 1s main
main
23m 1s
Merge main to nightly Merge main to nightly #652: Scheduled
1m 57s main
main
1m 57s
Deploy PR for review Deploy PR for review #1877: completed by leanprover-bot
1s
1s
Label PRs with artifacts Label PRs with artifacts #1989: completed by leanprover-bot
1s
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/12058 Build and check HTML #2358: Commit b8f9f92 pushed by leanprover-bot
8m 51s lean-pr-testing-12058
lean-pr-testing-12058
8m 51s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/12058 Report PR testing status to the lean4 repository #378: Commit b8f9f92 pushed by leanprover-bot
7m 6s lean-pr-testing-12058
lean-pr-testing-12058
7m 6s
Nightly with Manual Nightly with Manual #97: Scheduled
6m 47s main
main
6m 47s
Update nightly-testing Update nightly-testing #649: Scheduled
23m 32s main
main
23m 32s
Merge main to nightly Merge main to nightly #651: Scheduled
2m 6s main
main
2m 6s
Update nightly-testing Update nightly-testing #648: Scheduled
23m 6s main
main
23m 6s
Merge main to nightly Merge main to nightly #650: Scheduled
1m 50s main
main
1m 50s
Nightly with Manual Nightly with Manual #96: Scheduled
7m 6s main
main
7m 6s
Deploy PR for review Deploy PR for review #1876: completed by github-merge-queue bot
1s
1s
Label PRs with artifacts Label PRs with artifacts #1988: completed by github-merge-queue bot
1s
1s
doc: discuss reducibility and grind (#756) Build and check HTML #2357: Commit d5e6aca pushed by github-merge-queue bot
6m 51s main
main
6m 51s