nightly#153 adaptations for nightly-2025-12-26

Stream: nightly-testing

[github mathlib4 bot]

chore: adaptations for nightly-2025-12-26 nightly#153 Please review this PR. At the next toolchain release this diff will land in 'master'.

[Kevin Buzzard]

This seems to be the last nightly for mathlib, and CI seems to be failing (it was cancelled after 6 hours).

[Bryan Gin-ge Chen]

This and the other stuck PRs all seem to be stuck at the linting step, which we also see sporadically on mathlib4 CI as well cf. #mathlib4 > slow linting step CI?

#33474 is intended to help us diagnose what's happening there.