[INFO] fetching crate rpi-pico-sdk 0.0.1...
[INFO] checking rpi-pico-sdk-0.0.1 against master#8f21a5c92ea55c348c275a1bc4fedbdf181e0d64 for pr-143011
[INFO] extracting crate rpi-pico-sdk 0.0.1 into /workspace/builds/worker-0-tc1/source


unable to download rpi-pico-sdk version 0.0.1

Caused by:
    0: failed to unpack `rpi-pico-sdk-0.0.1/src/gen.rs` into `/workspace/builds/worker-0-tc1/source/src/gen.rs`
    1: No space left on device (os error 28)