[Merged by Bors] - chore: adaptations for nightly-2026-05-13#222

mathlib-nightly-testing[bot] wants to merge 427 commits into

bump/v4.31.0leanprover-community/mathlib4-nightly-testing:bump/v4.31.0from

bump/nightly-2026-05-13leanprover-community/mathlib4-nightly-testing:bump/nightly-2026-05-13Copy head branch name to clipboard