Skip to content

Actions: leanprover/reference-manual

Actions

Check PR title for commit convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-title.yml
834 workflow run results
834 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add module system appendix Check PR title for commit convention #842: Pull request #514 opened by Kha
8s module-system
module-system
8s
doc: swap sides of equality in grind Check PR title for commit convention #841: Pull request #512 opened by adomani
6s adomani:patch-2
adomani:patch-2
6s
chore: release notes for v4.22.0 Check PR title for commit convention #838: Pull request #510 synchronize by kim-em
6s release_notes_22
release_notes_22
6s
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 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 PR title for commit convention #835: Pull request #510 opened by kim-em
10s release_notes_22
release_notes_22
10s
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 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
feat: further grind examples Check PR title for commit convention #831: Pull request #501 synchronize by kim-em
6s grind_examples
grind_examples
6s
chore: v4.22-rc1 release Check PR title for commit convention #830: Pull request #508 synchronize by david-christiansen
8s main-with-22
main-with-22
8s
chore: v4.22-rc1 release Check PR title for commit convention #829: Pull request #508 opened by david-christiansen
10s main-with-22
main-with-22
10s
chore: bump toolchain to v4.22.0-rc1 Check PR title for commit convention #828: Pull request #507 opened by kim-em
8s bump_to_v4.22.0-rc1
bump_to_v4.22.0-rc1
8s
fix: stray variable decl Check PR title for commit convention #827: Pull request #506 opened by david-christiansen
5s single-french
single-french
5s
fix: grammatical error Check PR title for commit convention #826: Pull request #505 opened by david-christiansen
6s lang-fix
lang-fix
6s
fix: more consistent terminology for inductive types Check PR title for commit convention #825: Pull request #504 opened by david-christiansen
8s naming-fix
naming-fix
8s
chore: bump to 2025-06-30 Check PR title for commit convention #824: Pull request #503 opened by david-christiansen
6s bump-nightly-2025-06-30
bump-nightly-2025-06-30
6s
chore: bump to nightly-2025-06-29 Check PR title for commit convention #823: 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 PR title for commit convention #822: Pull request #502 synchronize by david-christiansen
7s bump-nightly-2025-06-29
bump-nightly-2025-06-29
7s
chore: bump to nightly-2025-06-29 Check PR title for commit convention #821: Pull request #502 synchronize by david-christiansen
6s bump-nightly-2025-06-29
bump-nightly-2025-06-29
6s
chore: bump to nightly-2025-06-29 Check PR title for commit convention #820: Pull request #502 synchronize by david-christiansen
5s bump-nightly-2025-06-29
bump-nightly-2025-06-29
5s
chore: bump to nightly-2025-06-29 Check PR title for commit convention #819: Pull request #502 synchronize by david-christiansen
7s bump-nightly-2025-06-29
bump-nightly-2025-06-29
7s
chore: bump to nightly-2025-06-29 Check PR title for commit convention #818: Pull request #502 opened by david-christiansen
8s bump-nightly-2025-06-29
bump-nightly-2025-06-29
8s
feat: further grind examples Check PR title for commit convention #817: Pull request #501 edited by kim-em
5s grind_examples
grind_examples
5s
chore: update release note for v4.21.0 Check PR title for commit convention #816: Pull request #500 opened by kim-em
6s fix_v4.21_release_notes
fix_v4.21_release_notes
6s