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
Update nightly-testing Update nightly-testing #1305: Scheduled
17m 35s main
main
17m 35s
Merge main to nightly Merge main to nightly #1302: Scheduled
1m 51s main
main
1m 51s
Nightly with Manual Nightly with Manual #525: Scheduled
8m 48s main
main
8m 48s
Update nightly-testing Update nightly-testing #1304: Scheduled
17m 54s main
main
17m 54s
Merge main to nightly Merge main to nightly #1301: Scheduled
1m 46s main
main
1m 46s
Nightly with Manual Nightly with Manual #524: Scheduled
8m 37s main
main
8m 37s
Update nightly-testing Update nightly-testing #1303: Scheduled
13m 10s main
main
13m 10s
Merge main to nightly Merge main to nightly #1300: Scheduled
2m 3s main
main
2m 3s
Deploy PR for review Deploy PR for review #3056: completed by leanprover-bot
1s
1s
Label PRs with artifacts Label PRs with artifacts #3168: completed by leanprover-bot
8s
8s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/14822 Build and check HTML #3549: Commit beab074 pushed by leanprover-bot
8m 27s lean-pr-testing-14822
lean-pr-testing-14822
8m 27s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/14822 Report PR testing status to the lean4 repository #1035: Commit beab074 pushed by leanprover-bot
6m 28s lean-pr-testing-14822
lean-pr-testing-14822
6m 28s
Update nightly-testing Update nightly-testing #1302: Scheduled
19m 47s main
main
19m 47s
Deploy PR for review Deploy PR for review #3055: completed by leanprover-bot
7s
7s
Label PRs with artifacts Label PRs with artifacts #3167: completed by leanprover-bot
1s
1s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #1034: Commit 50701b8 pushed by leanprover-bot
8m 25s lean-pr-testing-14822
lean-pr-testing-14822
8m 25s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3548: Commit 50701b8 pushed by leanprover-bot
8m 20s lean-pr-testing-14822
lean-pr-testing-14822
8m 20s
Deploy the 'postdeploy' branch Deploy the 'postdeploy' branch #95: completed by kim-em
3m 26s
3m 26s
Apply Overlays Apply Overlays #60: completed by kim-em
3m 57s
3m 57s
Merge main to nightly Merge main to nightly #1299: Scheduled
2m 8s main
main
2m 8s
chore: bump toolchain to v4.34.0-rc2 (#929) Deploy Tagged Version #86: Commit 3558cf2 pushed by kim-em
46m 52s v4.34.0-rc2
v4.34.0-rc2
46m 52s
doc: port mvcgen documentation to vcgen and Std.WP Check PR title for commit convention #2195: Pull request #927 edited by sgraf812
30m 47s vcgen-docs-nightly
vcgen-docs-nightly
30m 47s
Deploy PR for review Deploy PR for review #3054: completed by sgraf812
1s
1s
Label PRs with artifacts Label PRs with artifacts #3166: completed by sgraf812
35m 58s
35m 58s
doc: port mvcgen documentation to vcgen and Std.WP Check Formatting of JS/CSS/HTML and Markdown #663: Pull request #927 synchronize by sgraf812
39m 21s vcgen-docs-nightly
vcgen-docs-nightly
39m 21s