CI issue with nightly testing

Stream: batteries

[Wrenna Robson]

batteries#1471 is giving me a problem - it appears to have built nightly testing, but the CI is failing after that when it tries to verify the cache, but it still gives me a "successfully builds mathlib" tick! Which is an odd state of affairs.

[Kim Morrison]

Let's assume you got unlucky encountering Mathlib cache problems during the upgrade. :woman_shrugging:

[Wrenna Robson]

Yes it sounds very possible. I think I would have to make another commit to re-trigger the check?

[Kim Morrison]

That should do it.