[INFO] fetching crate prusti-specs 0.2.0...
[INFO] checking prusti-specs-0.2.0 against master#fd17deacce374a4185c882795be162e17b557050 for pr-138001
[INFO] extracting crate prusti-specs 0.2.0 into /workspace/builds/worker-4-tc1/source


unable to download prusti-specs version 0.2.0

Caused by:
    0: failed to unpack `prusti-specs-0.2.0/src/lib.rs` into `/workspace/builds/worker-4-tc1/source/src/lib.rs`
    1: No space left on device (os error 28)