[INFO] fetching crate prusto-rs 0.5.1...
[INFO] checking prusto-rs-0.5.1 against master#e43d139a82620a268d3828a73e12a8679339e8f8 for pr-143545
[INFO] extracting crate prusto-rs 0.5.1 into /workspace/builds/worker-5-tc1/source


unable to download prusto-rs version 0.5.1

Caused by:
    0: failed to unpack `prusto-rs-0.5.1/.github/workflows/ci.yaml` into `/workspace/builds/worker-5-tc1/source/.github/workflows/ci.yaml`
    1: No space left on device (os error 28)