nightly#2 adaptations for nightly-2025-06-26

Stream: nightly-testing

[Kim Morrison]

chore: adaptations for nightly-2025-06-26 nightly#2 Please review this PR. At the end of the month this diff will land in 'master'.

[Kim Morrison]

Now the PR is on the leanprover-community/mathlib4-nightly-testing fork (correctly) so we need to update the script to post a link there.

[Kim Morrison]

https://github.com/leanprover-community/mathlib4-nightly-testing/pull/2

[Kim Morrison]

The PR itself is apparently broken, but at least the branches are in the right places!

[Kim Morrison]

I have added a nightly#2 linkifier, which the bot will use in future.

[Kim Morrison]

Sigh, the PR is broken, because the new CI system needs to check out the master branch to build scripts safely from. However, on the mathlib4-nightly-testing fork, we don't even have a master branch.

[Kim Morrison]

#26461