[INFO] fetching crate prusti-std 0.2.0...
[INFO] building prusti-std-0.2.0 against try#334963c956d25708feab489a3816ae63f639355d for pr-135216
[INFO] extracting crate prusti-std 0.2.0 into /workspace/builds/worker-4-tc2/source
[INFO] building prusti-std-0.2.0 against try#334963c956d25708feab489a3816ae63f639355d for pr-135216
[INFO] extracting crate prusti-std 0.2.0 into /workspace/builds/worker-4-tc2/source
[INFO] building prusti-std-0.2.0 against try#334963c956d25708feab489a3816ae63f639355d for pr-135216
[INFO] extracting crate prusti-std 0.2.0 into /workspace/builds/worker-4-tc2/source
[INFO] building prusti-std-0.2.0 against try#334963c956d25708feab489a3816ae63f639355d for pr-135216
[INFO] extracting crate prusti-std 0.2.0 into /workspace/builds/worker-4-tc2/source
[INFO] building prusti-std-0.2.0 against try#334963c956d25708feab489a3816ae63f639355d for pr-135216
[INFO] extracting crate prusti-std 0.2.0 into /workspace/builds/worker-4-tc2/source


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

unable to download prusti-std version 0.2.0