Skip to content

Actions: leanprover/reference-manual

Actions

Check for copyright headers

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
753 workflow run results
753 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add module system appendix Check for copyright headers #758: Pull request #514 opened by Kha
8s module-system
module-system
8s
doc: swap sides of equality in grind Check for copyright headers #757: Pull request #512 opened by adomani
10s adomani:patch-2
adomani:patch-2
10s
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
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 #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 #752: Pull request #510 opened by kim-em
12s release_notes_22
release_notes_22
12s
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 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 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
feat: further grind examples Check for copyright headers #748: Pull request #501 synchronize by kim-em
8s grind_examples
grind_examples
8s
chore: v4.22-rc1 release Check for copyright headers #747: Pull request #508 synchronize by david-christiansen
8s main-with-22
main-with-22
8s
chore: v4.22-rc1 release Check for copyright headers #746: Pull request #508 opened by david-christiansen
11s main-with-22
main-with-22
11s
chore: bump toolchain to v4.22.0-rc1 Check for copyright headers #745: Pull request #507 opened by kim-em
9s bump_to_v4.22.0-rc1
bump_to_v4.22.0-rc1
9s
fix: stray variable decl Check for copyright headers #744: Pull request #506 opened by david-christiansen
8s single-french
single-french
8s
fix: grammatical error Check for copyright headers #743: Pull request #505 opened by david-christiansen
8s lang-fix
lang-fix
8s
fix: more consistent terminology for inductive types Check for copyright headers #742: Pull request #504 opened by david-christiansen
13s naming-fix
naming-fix
13s
chore: bump to 2025-06-30 Check for copyright headers #741: Pull request #503 opened by david-christiansen
10s bump-nightly-2025-06-30
bump-nightly-2025-06-30
10s
chore: bump to nightly-2025-06-29 Check for copyright headers #740: Pull request #502 synchronize by david-christiansen
14s bump-nightly-2025-06-29
bump-nightly-2025-06-29
14s
chore: bump to nightly-2025-06-29 Check for copyright headers #739: Pull request #502 synchronize by david-christiansen
9s bump-nightly-2025-06-29
bump-nightly-2025-06-29
9s
chore: bump to nightly-2025-06-29 Check for copyright headers #738: Pull request #502 synchronize by david-christiansen
10s bump-nightly-2025-06-29
bump-nightly-2025-06-29
10s
chore: bump to nightly-2025-06-29 Check for copyright headers #737: Pull request #502 synchronize by david-christiansen
10s bump-nightly-2025-06-29
bump-nightly-2025-06-29
10s
chore: bump to nightly-2025-06-29 Check for copyright headers #736: Pull request #502 synchronize by david-christiansen
10s bump-nightly-2025-06-29
bump-nightly-2025-06-29
10s
chore: bump to nightly-2025-06-29 Check for copyright headers #735: Pull request #502 opened by david-christiansen
8s bump-nightly-2025-06-29
bump-nightly-2025-06-29
8s
chore: update release note for v4.21.0 Check for copyright headers #734: Pull request #500 opened by kim-em
8s fix_v4.21_release_notes
fix_v4.21_release_notes
8s
chore: bump toolchain to v4.21.0 Check for copyright headers #733: Pull request #499 opened by kim-em
8s bump_to_v4.21.0
bump_to_v4.21.0
8s