Skip to content

Actions: leanprover/reference-manual

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13,669 workflow runs
13,669 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update nightly-testing Update nightly-testing #782: Scheduled
15s main
main
15s
Merge main to nightly Merge main to nightly #782: Scheduled
3m 9s main
main
3m 9s
Nightly with Manual Nightly with Manual #184: Scheduled
7m 12s main
main
7m 12s
Update nightly-testing Update nightly-testing #781: Scheduled
24s main
main
24s
Merge main to nightly Merge main to nightly #781: Scheduled
32m 33s main
main
32m 33s
Label PRs with artifacts Label PRs with artifacts #2187: completed by leanprover-bot
1s
1s
Deploy PR for review Deploy PR for review #2075: completed by leanprover-bot
1s
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/12233 Build and check HTML #2555: Commit b5f87aa pushed by leanprover-bot
21s lean-pr-testing-12233
lean-pr-testing-12233
21s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/12233 Report PR testing status to the lean4 repository #474: Commit b5f87aa pushed by leanprover-bot
20s lean-pr-testing-12233
lean-pr-testing-12233
20s
Deploy PR for review Deploy PR for review #2074: completed by leanprover-bot
1s
1s
Label PRs with artifacts Label PRs with artifacts #2186: completed by leanprover-bot
1s
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/12233 Build and check HTML #2554: Commit 28d0429 pushed by leanprover-bot
19s lean-pr-testing-12233
lean-pr-testing-12233
19s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/12233 Report PR testing status to the lean4 repository #473: Commit 28d0429 pushed by leanprover-bot
18s lean-pr-testing-12233
lean-pr-testing-12233
18s
Nightly with Manual Nightly with Manual #183: Scheduled
7m 51s main
main
7m 51s
Update nightly-testing Update nightly-testing #780: Scheduled
16s main
main
16s
Merge main to nightly Merge main to nightly #780: Scheduled
3m 25s main
main
3m 25s
Deploy PR for review Deploy PR for review #2073: completed by leanprover-bot
1s
1s
Label PRs with artifacts Label PRs with artifacts #2185: completed by leanprover-bot
1s
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/12233 Build and check HTML #2553: Commit e1cf3de pushed by leanprover-bot
22s lean-pr-testing-12233
lean-pr-testing-12233
22s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/12233 Report PR testing status to the lean4 repository #472: Commit e1cf3de pushed by leanprover-bot
19s lean-pr-testing-12233
lean-pr-testing-12233
19s
Update nightly-testing Update nightly-testing #779: Scheduled
25m 12s main
main
25m 12s
Label PRs with artifacts Label PRs with artifacts #2184: completed by david-christiansen
15s
15s
Deploy PR for review Deploy PR for review #2072: completed by david-christiansen
1m 11s
1m 11s
chore: bump to nightly-2026-03-05 Check Formatting of JS/CSS/HTML and Markdown #257: Pull request #793 synchronize by david-christiansen
18s bump-2026-03-05
bump-2026-03-05
18s
chore: bump to nightly-2026-03-05 Check PR title for commit convention #1755: Pull request #793 synchronize by david-christiansen
10s bump-2026-03-05
bump-2026-03-05
10s