[INFO] fetching crate rpi-pico-sdk 0.0.1...
[INFO] checking rpi-pico-sdk-0.0.1 against try#2b39fe756f52bc2825bf5b2bfc385cab922dae10 for pr-143011
[INFO] extracting crate rpi-pico-sdk 0.0.1 into /workspace/builds/worker-0-tc2/source
[INFO] checking rpi-pico-sdk-0.0.1 against try#2b39fe756f52bc2825bf5b2bfc385cab922dae10 for pr-143011
[INFO] extracting crate rpi-pico-sdk 0.0.1 into /workspace/builds/worker-0-tc2/source
[INFO] checking rpi-pico-sdk-0.0.1 against try#2b39fe756f52bc2825bf5b2bfc385cab922dae10 for pr-143011
[INFO] extracting crate rpi-pico-sdk 0.0.1 into /workspace/builds/worker-0-tc2/source
[INFO] checking rpi-pico-sdk-0.0.1 against try#2b39fe756f52bc2825bf5b2bfc385cab922dae10 for pr-143011
[INFO] extracting crate rpi-pico-sdk 0.0.1 into /workspace/builds/worker-0-tc2/source
[INFO] checking rpi-pico-sdk-0.0.1 against try#2b39fe756f52bc2825bf5b2bfc385cab922dae10 for pr-143011
[INFO] extracting crate rpi-pico-sdk 0.0.1 into /workspace/builds/worker-0-tc2/source


unable to download rpi-pico-sdk version 0.0.1

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