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


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

unable to download prusti-contracts version 0.2.0