[INFO] fetching crate prusti-contracts-proc-macros 0.2.0...
[INFO] checking prusti-contracts-proc-macros-0.2.0 against try#f3dc08d20a1589b87bde75bb82ee6423307f9bde for pr-135733
[INFO] extracting crate prusti-contracts-proc-macros 0.2.0 into /workspace/builds/worker-2-tc2/source
[INFO] checking prusti-contracts-proc-macros-0.2.0 against try#f3dc08d20a1589b87bde75bb82ee6423307f9bde for pr-135733
[INFO] extracting crate prusti-contracts-proc-macros 0.2.0 into /workspace/builds/worker-2-tc2/source
[INFO] checking prusti-contracts-proc-macros-0.2.0 against try#f3dc08d20a1589b87bde75bb82ee6423307f9bde for pr-135733
[INFO] extracting crate prusti-contracts-proc-macros 0.2.0 into /workspace/builds/worker-2-tc2/source
[INFO] checking prusti-contracts-proc-macros-0.2.0 against try#f3dc08d20a1589b87bde75bb82ee6423307f9bde for pr-135733
[INFO] extracting crate prusti-contracts-proc-macros 0.2.0 into /workspace/builds/worker-2-tc2/source
[INFO] checking prusti-contracts-proc-macros-0.2.0 against try#f3dc08d20a1589b87bde75bb82ee6423307f9bde for pr-135733
[INFO] extracting crate prusti-contracts-proc-macros 0.2.0 into /workspace/builds/worker-2-tc2/source


unable to download prusti-contracts-proc-macros version 0.2.0

Caused by:
    No space left on device (os error 28)