cache failure whilst building CI?

Stream: mathlib4

[Eric Rodriguez]

https://github.com/leanprover-community/mathlib4/actions/runs/5925365162/job/16064776073 I've tried rerunning this job - I'm confused why it's not just trying to build the files that it didn't find oleans for?

[Eric Wieser]

I think the relevant line is:

thread '<unnamed>' panicked at 'called Result::unwrap() on an Err value: Error { kind: UnexpectedEof, message: "failed to fill whole buffer" }', /project/src/ltar.rs:57:34

which suggests something was corrupt, not just missing

[Jon Eugster]

I got the same on multiple CI runs today, restarting always worked...

EDIT: looks like this Zulip discussion is about these errors.