Commit 2025-06-23 13:22 8af5157f

chore: move all nightly-testing infrastructure to a fork (#26286) This PR moves all of our nightly-testing infrastructure to the fork at https://github.com/leanprover-community/mathlib4-nightly-testing. I have migrated all the relevant branches (nightly-testing, nightly-testing-YYYY-MM-DD, lean-pr-testing-NNNN, batteries-pr-testing-NNNN, bump/v4.X.0, bump/nightly-YYYY-MM-DD) across to the fork, but not yet deleted them from the main repository. I've installed what I think are the necessary secrets (discussed in the CI admins channel). This is presumably going to be horribly broken... Some parts are generated with some AI assistance, but I've tried to read carefully! In any case, skeptical review appreciated, but we're probably going to have to do a certain amount of testing in production as usual.