[INFO] fetching crate hax-diagnostics 0.1.0-pre.1...
[INFO] checking hax-diagnostics-0.1.0-pre.1 against try#3652eaba14e5de752eaa5a8ffcac7132f9244f07 for pr-139272
[INFO] extracting crate hax-diagnostics 0.1.0-pre.1 into /workspace/builds/worker-4-tc2/source
[INFO] checking hax-diagnostics-0.1.0-pre.1 against try#3652eaba14e5de752eaa5a8ffcac7132f9244f07 for pr-139272
[INFO] extracting crate hax-diagnostics 0.1.0-pre.1 into /workspace/builds/worker-4-tc2/source
[INFO] checking hax-diagnostics-0.1.0-pre.1 against try#3652eaba14e5de752eaa5a8ffcac7132f9244f07 for pr-139272
[INFO] extracting crate hax-diagnostics 0.1.0-pre.1 into /workspace/builds/worker-4-tc2/source
[INFO] checking hax-diagnostics-0.1.0-pre.1 against try#3652eaba14e5de752eaa5a8ffcac7132f9244f07 for pr-139272
[INFO] extracting crate hax-diagnostics 0.1.0-pre.1 into /workspace/builds/worker-4-tc2/source
[INFO] checking hax-diagnostics-0.1.0-pre.1 against try#3652eaba14e5de752eaa5a8ffcac7132f9244f07 for pr-139272
[INFO] extracting crate hax-diagnostics 0.1.0-pre.1 into /workspace/builds/worker-4-tc2/source


unable to download hax-diagnostics version 0.1.0-pre.1

Caused by:
    0: failed to unpack `hax-diagnostics-0.1.0-pre.1/Cargo.toml` into `/workspace/builds/worker-4-tc2/source/Cargo.toml`
    1: No space left on device (os error 28)