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 PR title for commit convention #835: Pull request #510 opened by kim-em
10s release_notes_22
release_notes_22
10s
chore: release notes for v4.22.0 Check for copyright headers #752: Pull request #510 opened by kim-em
12s release_notes_22
release_notes_22
12s
chore: release notes for v4.22.0 Check for too-big Lean imports #752: Pull request #510 opened by kim-em
12s release_notes_22
release_notes_22
12s
chore: bump toolchain to v4.22.0-rc2 Build and check HTML #1210: Pull request #509 synchronize by kim-em
20m 51s bump_to_v4.22.0-rc2
bump_to_v4.22.0-rc2
20m 51s
chore: bump toolchain to v4.22.0-rc2 Build and check HTML #1211: Pull request #509 reopened by kim-em
20m 19s bump_to_v4.22.0-rc2
bump_to_v4.22.0-rc2
20m 19s
chore: bump toolchain to v4.22.0-rc2 Check for copyright headers #447: Pull request #509 synchronize by kim-em
30s bump_to_v4.22.0-rc2
bump_to_v4.22.0-rc2
30s
chore: bump toolchain to v4.22.0-rc2 Check for copyright headers #751: Pull request #509 reopened by kim-em
8s bump_to_v4.22.0-rc2
bump_to_v4.22.0-rc2
8s
chore: bump toolchain to v4.22.0-rc2 Check for too-big Lean imports #751: Pull request #509 reopened by kim-em
8s bump_to_v4.22.0-rc2
bump_to_v4.22.0-rc2
8s
chore: bump toolchain to v4.22.0-rc2 Check for too-big Lean imports #750: Pull request #509 synchronize by kim-em
11s bump_to_v4.22.0-rc2
bump_to_v4.22.0-rc2
11s
chore: bump toolchain to v4.22.0-rc2 Check for copyright headers #750: Pull request #509 synchronize by kim-em
12s bump_to_v4.22.0-rc2
bump_to_v4.22.0-rc2
12s
chore: bump toolchain to v4.22.0-rc2 Check PR title for commit convention #833: Pull request #509 synchronize by kim-em
6s bump_to_v4.22.0-rc2
bump_to_v4.22.0-rc2
6s
chore: bump toolchain to v4.22.0-rc2 Check PR title for commit convention #834: Pull request #509 reopened by kim-em
7s bump_to_v4.22.0-rc2
bump_to_v4.22.0-rc2
7s
chore: bump toolchain to v4.22.0-rc2 Check for copyright headers #448: Pull request #509 reopened by kim-em
1m 19s bump_to_v4.22.0-rc2
bump_to_v4.22.0-rc2
1m 19s
chore: bump toolchain to v4.22.0-rc2 Check PR title for commit convention #832: Pull request #509 opened by kim-em
6s bump_to_v4.22.0-rc2
bump_to_v4.22.0-rc2
6s
chore: bump toolchain to v4.22.0-rc2 Check for copyright headers #749: Pull request #509 opened by kim-em
7s bump_to_v4.22.0-rc2
bump_to_v4.22.0-rc2
7s
chore: bump toolchain to v4.22.0-rc2 Check for too-big Lean imports #749: Pull request #509 opened by kim-em
9s bump_to_v4.22.0-rc2
bump_to_v4.22.0-rc2
9s
chore: bump toolchain to v4.22.0-rc2 Check for copyright headers #446: Pull request #509 opened by kim-em
29s bump_to_v4.22.0-rc2
bump_to_v4.22.0-rc2
29s
chore: bump toolchain to v4.22.0-rc2 Build and check HTML #1209: Pull request #509 opened by kim-em
20m 56s bump_to_v4.22.0-rc2
bump_to_v4.22.0-rc2
20m 56s
Deploy PR for review Deploy PR for review #742: completed by kim-em
1s
1s
Label PRs with artifacts Label PRs with artifacts #854: completed by kim-em
1s
1s
feat: further grind examples Build and check HTML #1208: Commit f8535c9 pushed by kim-em
3m 42s main
main
3m 42s
feat: further grind examples Report PR testing status to the lean4 repository #10: Commit f8535c9 pushed by kim-em
1m 39s main
main
1m 39s
Deploy PR for review Deploy PR for review #741: completed by kim-em
21s
21s
Label PRs with artifacts Label PRs with artifacts #853: completed by kim-em
12s
12s
feat: further grind examples Build and check HTML #1207: Pull request #501 synchronize by kim-em
4m 54s grind_examples
grind_examples
4m 54s