[INFO] fetching crate prusti-specs 0.2.0...
[INFO] checking prusti-specs-0.2.0 against try#5785402183672f7786e9dc343d7b435bdaf4a4bc for pr-138001
[INFO] extracting crate prusti-specs 0.2.0 into /workspace/builds/worker-4-tc2/source
[INFO] checking prusti-specs-0.2.0 against try#5785402183672f7786e9dc343d7b435bdaf4a4bc for pr-138001
[INFO] extracting crate prusti-specs 0.2.0 into /workspace/builds/worker-4-tc2/source
[INFO] checking prusti-specs-0.2.0 against try#5785402183672f7786e9dc343d7b435bdaf4a4bc for pr-138001
[INFO] extracting crate prusti-specs 0.2.0 into /workspace/builds/worker-4-tc2/source
[INFO] checking prusti-specs-0.2.0 against try#5785402183672f7786e9dc343d7b435bdaf4a4bc for pr-138001
[INFO] extracting crate prusti-specs 0.2.0 into /workspace/builds/worker-4-tc2/source
[INFO] checking prusti-specs-0.2.0 against try#5785402183672f7786e9dc343d7b435bdaf4a4bc for pr-138001
[INFO] extracting crate prusti-specs 0.2.0 into /workspace/builds/worker-4-tc2/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-tc2/source/src/lib.rs`
    1: No space left on device (os error 28)