adaptations for nightly-2025-06-17

Stream: nightly-testing

[Joachim Breitner]

Hi @Robin Arnez , I see you are in the process of fixing nightly-testing. Thanks! I’m rooting for you and am watching https://github.com/leanprover-community/mathlib4/commits/nightly-testing