Skip to content

Actions: leanprover/reference-manual

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly with Manual Nightly with Manual #216: Scheduled
7m 51s main
main
7m 51s
Label PRs with artifacts Label PRs with artifacts #2266: completed by kim-em
6s
6s
Deploy PR for review Deploy PR for review #2154: completed by kim-em
1s
1s
doc: document instance normal form normalization Check Formatting of JS/CSS/HTML and Markdown #307: Pull request #809 synchronize by kim-em
19s kim-em:doc/instance-normal-form
kim-em:doc/instance-normal-form
19s
doc: document instance normal form normalization Check for too-big Lean imports #1631: Pull request #809 synchronize by kim-em
8s kim-em:doc/instance-normal-form
kim-em:doc/instance-normal-form
8s
doc: document instance normal form normalization Check PR title for commit convention #1808: Pull request #809 synchronize by kim-em
7s kim-em:doc/instance-normal-form
kim-em:doc/instance-normal-form
7s
doc: document instance normal form normalization Check for copyright headers #1631: Pull request #809 synchronize by kim-em
10s kim-em:doc/instance-normal-form
kim-em:doc/instance-normal-form
10s
doc: document instance normal form normalization Build and check HTML #2633: Pull request #809 synchronize by kim-em
1m 58s kim-em:doc/instance-normal-form
kim-em:doc/instance-normal-form
1m 58s
Label PRs with artifacts Label PRs with artifacts #2265: completed by kim-em
6s
6s
Deploy PR for review Deploy PR for review #2153: completed by kim-em
1s
1s
doc: document instance normal form normalization Check Formatting of JS/CSS/HTML and Markdown #306: Pull request #809 opened by kim-em
19s kim-em:doc/instance-normal-form
kim-em:doc/instance-normal-form
19s
doc: document instance normal form normalization Check PR title for commit convention #1807: Pull request #809 opened by kim-em
7s kim-em:doc/instance-normal-form
kim-em:doc/instance-normal-form
7s
doc: document instance normal form normalization Build and check HTML #2632: Pull request #809 opened by kim-em
1m 39s kim-em:doc/instance-normal-form
kim-em:doc/instance-normal-form
1m 39s
doc: document instance normal form normalization Check for copyright headers #1630: Pull request #809 opened by kim-em
9s kim-em:doc/instance-normal-form
kim-em:doc/instance-normal-form
9s
doc: document instance normal form normalization Check for too-big Lean imports #1630: Pull request #809 opened by kim-em
7s kim-em:doc/instance-normal-form
kim-em:doc/instance-normal-form
7s
Update nightly-testing Update nightly-testing #829: Scheduled
3m 30s main
main
3m 30s
Merge main to nightly Merge main to nightly #829: Scheduled
2m 59s main
main
2m 59s
Nightly with Manual Nightly with Manual #215: Scheduled
7m 12s main
main
7m 12s
Update nightly-testing Update nightly-testing #828: Scheduled
3m 27s main
main
3m 27s
Merge main to nightly Merge main to nightly #828: Scheduled
2m 36s main
main
2m 36s
Update nightly-testing Update nightly-testing #827: Scheduled
18m 53s main
main
18m 53s
Merge main to nightly Merge main to nightly #827: Scheduled
2m 37s main
main
2m 37s
Nightly with Manual Nightly with Manual #214: Scheduled
7m 43s main
main
7m 43s
Update nightly-testing Update nightly-testing #826: Scheduled
18m 8s main
main
18m 8s
Merge main to nightly Merge main to nightly #826: Scheduled
3m 17s main
main
3m 17s