nightly#51 adaptations for nightly-2025-09-02

Stream: nightly-testing

[github mathlib4 bot]

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

[Kim Morrison]

@Anne Baanen, actionlint is unhappy about your new workflows here.

[Anne Baanen]

Removed the workflow and going to develop this on another branch, sorry for being in your way!

[Kim Morrison]

All good!

[Kim Morrison]

I've sent this to bors (which perhaps is working now on nightly-testing, thanks to Bryan's work!)

[Kim Morrison]

Bors worked. :-)