chore: bump to nightly-2025-06-23#477

david-christiansen merged 1 commit intonightly-testingleanprover/reference-manual:nightly-testingfrom

bump-2025-06-23leanprover/reference-manual:bump-2025-06-23Copy head branch name to clipboard