CI fails with exit code 3

Stream: mathlib4

[Floris van Doorn]

The PR #18045 by @Violeta Hernández failed 7 times in the "check the cache" step with exit code 3, and the 8th time it suddenly worked. @Mac Malone do you have any idea what could be going wrong here? Kim suggested it was related to this.