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


unable to download rpi-pico-sdk-sys version 0.0.2

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