nightly-2025-06-04

Stream: nightly-testing

[Joachim Breitner]

Did someoneone push a commit (https://github.com/leanprover-community/mathlib4/commit/a0082f9fe07d3a8c3183900a650f0a600ffcdf0f) to nightly-testing and then force-un-pushed it? Maybe @Kim Morrison ? The run for that commit it didn't look so bad:
https://github.com/leanprover-community/mathlib4/actions/runs/15465365016/job/43536095314

[Kim Morrison]

Sorry yes, that was me. I'm asleep now. :-)