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
Nightly with Manual Nightly with Manual #295: Scheduled
9m 20s main
main
9m 20s
Update nightly-testing Update nightly-testing #948: Scheduled
6m 46s main
main
6m 46s
Merge main to nightly Merge main to nightly #949: Scheduled
4m 27s main
main
4m 27s
Update nightly-testing Update nightly-testing #947: Scheduled
6m 29s main
main
6m 29s
Merge main to nightly Merge main to nightly #948: Scheduled
4m 29s main
main
4m 29s
Nightly with Manual Nightly with Manual #294: Scheduled
29m 5s main
main
29m 5s
Update nightly-testing Update nightly-testing #946: Scheduled
6m 31s main
main
6m 31s
Merge main to nightly Merge main to nightly #947: Scheduled
4m 59s main
main
4m 59s
Nightly with Manual Nightly with Manual #293: Scheduled
8m 47s main
main
8m 47s
Update nightly-testing Update nightly-testing #945: Scheduled
6m 46s main
main
6m 46s
Merge main to nightly Merge main to nightly #946: Scheduled
5m 6s main
main
5m 6s
Update nightly-testing Update nightly-testing #944: Scheduled
5m 47s main
main
5m 47s
Merge main to nightly Merge main to nightly #945: Scheduled
5m 17s main
main
5m 17s
Nightly with Manual Nightly with Manual #292: Scheduled
39m 46s main
main
39m 46s
Update nightly-testing Update nightly-testing #943: Scheduled
6m 32s main
main
6m 32s
Merge main to nightly Merge main to nightly #944: Scheduled
4m 50s main
main
4m 50s
Label PRs with artifacts Label PRs with artifacts #2486: completed by kim-em
16s
16s
Deploy PR for review Deploy PR for review #2374: completed by kim-em
31s
31s
doc: list reducibility levels from most to least restrictive Check PR title for commit convention #1920: Pull request #840 edited by kim-em
5s kim-em:doc-reorder-reducibility
kim-em:doc-reorder-reducibility
5s
doc: list reducibility levels from most to least restrictive Check Formatting of JS/CSS/HTML and Markdown #413: Pull request #840 opened by kim-em
19s kim-em:doc-reorder-reducibility
kim-em:doc-reorder-reducibility
19s
doc: list reducibility levels from most to least restrictive Check for copyright headers #1737: Pull request #840 opened by kim-em
17s kim-em:doc-reorder-reducibility
kim-em:doc-reorder-reducibility
17s
doc: list reducibility levels from most to least restrictive Build and check HTML #2853: Pull request #840 opened by kim-em
7m 5s kim-em:doc-reorder-reducibility
kim-em:doc-reorder-reducibility
7m 5s
doc: list reducibility levels from most to least restrictive Check PR title for commit convention #1919: Pull request #840 opened by kim-em
5s kim-em:doc-reorder-reducibility
kim-em:doc-reorder-reducibility
5s
doc: list reducibility levels from most to least restrictive Check for too-big Lean imports #1737: Pull request #840 opened by kim-em
7s kim-em:doc-reorder-reducibility
kim-em:doc-reorder-reducibility
7s
Label PRs with artifacts Label PRs with artifacts #2485: completed by leanprover-bot
2s
2s