[Merged by Bors] - chore: simplify cache's treatment of nightly-testing#30571

kim-em wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

kim-em:simplify_cache_nightly_testingkim-em/mathlib4:simplify_cache_nightly_testingCopy head branch name to clipboard