Skip to content

Actions: leanprover/reference-manual

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,689 workflow run results
5,689 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: release notes for v4.22.0 Check for copyright headers #755: Pull request #510 synchronize by kim-em
10s release_notes_22
release_notes_22
10s
Label PRs with artifacts Label PRs with artifacts #859: completed by kim-em
9s
9s
Deploy PR for review Deploy PR for review #747: completed by kim-em
9s
9s
chore: bump toolchain to v4.22.0-rc2 Build and check HTML #1215: Commit fe519c0 pushed by kim-em
20m 6s main
main
20m 6s
chore: bump toolchain to v4.22.0-rc2 Report PR testing status to the lean4 repository #11: Commit fe519c0 pushed by kim-em
18m 32s main
main
18m 32s
Deploy PR for review Deploy PR for review #746: completed by kim-em
27s
27s
Label PRs with artifacts Label PRs with artifacts #858: completed by kim-em
16s
16s
chore: release notes for v4.22.0 Check for too-big Lean imports #754: Pull request #510 synchronize by kim-em
8s release_notes_22
release_notes_22
8s
chore: release notes for v4.22.0 Check PR title for commit convention #837: Pull request #510 synchronize by kim-em
6s release_notes_22
release_notes_22
6s
chore: release notes for v4.22.0 Check for copyright headers #754: Pull request #510 synchronize by kim-em
7s release_notes_22
release_notes_22
7s
chore: release notes for v4.22.0 Check for copyright headers #451: Pull request #510 synchronize by kim-em
28s release_notes_22
release_notes_22
28s
chore: release notes for v4.22.0 Build and check HTML #1214: Pull request #510 synchronize by kim-em
6m 15s release_notes_22
release_notes_22
6m 15s
Deploy PR for review Deploy PR for review #745: completed by kim-em
1s
1s
Label PRs with artifacts Label PRs with artifacts #857: completed by kim-em
5s
5s
Deploy PR for review Deploy PR for review #744: completed by kim-em
15s
15s
Label PRs with artifacts Label PRs with artifacts #856: completed by kim-em
14s
14s
chore: release notes for v4.22.0 Check PR title for commit convention #836: Pull request #510 synchronize by kim-em
8s release_notes_22
release_notes_22
8s
chore: release notes for v4.22.0 Check for too-big Lean imports #753: Pull request #510 synchronize by kim-em
9s release_notes_22
release_notes_22
9s
chore: release notes for v4.22.0 Check for copyright headers #753: Pull request #510 synchronize by kim-em
12s release_notes_22
release_notes_22
12s
chore: release notes for v4.22.0 Check for copyright headers #450: Pull request #510 synchronize by kim-em
32s release_notes_22
release_notes_22
32s
chore: release notes for v4.22.0 Build and check HTML #1213: Pull request #510 synchronize by kim-em
2m 46s release_notes_22
release_notes_22
2m 46s
Label PRs with artifacts Label PRs with artifacts #855: completed by kim-em
5s
5s
Deploy PR for review Deploy PR for review #743: completed by kim-em
1s
1s
chore: release notes for v4.22.0 Check for copyright headers #449: Pull request #510 opened by kim-em
1m 27s release_notes_22
release_notes_22
1m 27s
chore: release notes for v4.22.0 Build and check HTML #1212: Pull request #510 opened by kim-em
1m 27s release_notes_22
release_notes_22
1m 27s