[INFO] fetching crate slotted-egraphs 0.0.34...
[INFO] checking slotted-egraphs-0.0.34 against master#4455c8937007f3cc3c078375a335d86dbab391ce for pr-140956
[INFO] extracting crate slotted-egraphs 0.0.34 into /workspace/builds/worker-2-tc1/source


unable to download slotted-egraphs version 0.0.34

Caused by:
    0: failed to unpack `slotted-egraphs-0.0.34/src/explain/wrapper/perm.rs` into `/workspace/builds/worker-2-tc1/source/src/explain/wrapper/perm.rs`
    1: No space left on device (os error 28)