chore: add highlights for v4.23.0 release notes · leanprover/reference-manual@c1021d6

Triggered via pull request September 1, 2025 22:10

viol37

opened #579

viol37:v4.23-highlights

Status Failure

Total duration 5s

Artifacts –

pr-title.yml

on: pull_request

1 error

PR title does not follow the Commit Convention (https://leanprover.github.io/lean4/doc/dev/commit_convention.html).