[INFO] fetching crate prusti-std 0.2.0...
[INFO] building prusti-std-0.2.0 against master#ad211ced81509462cdfe4c29ed10f97279a0acae for pr-135216
[INFO] extracting crate prusti-std 0.2.0 into /workspace/builds/worker-4-tc1/source


Os { code: 28, kind: StorageFull, message: "No space left on device" }

unable to download prusti-std version 0.2.0