[INFO] fetching crate prusti-contracts 0.2.0...
[INFO] checking prusti-contracts-0.2.0 against master#4847d6a9d07d4be9ba3196f6ad444af2d7bdde72 for pr-134276
[INFO] extracting crate prusti-contracts 0.2.0 into /workspace/builds/worker-7-tc1/source


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

unable to download prusti-contracts version 0.2.0