[INFO] fetching crate satellite-cdcl 0.1.0...
[INFO] testing satellite-cdcl-0.1.0 against beta-2026-01-20 for beta-1.94-1
[INFO] extracting crate satellite-cdcl 0.1.0 into /workspace/builds/worker-7-tc2/source
[INFO] testing satellite-cdcl-0.1.0 against beta-2026-01-20 for beta-1.94-1
[INFO] extracting crate satellite-cdcl 0.1.0 into /workspace/builds/worker-7-tc2/source
[INFO] testing satellite-cdcl-0.1.0 against beta-2026-01-20 for beta-1.94-1
[INFO] extracting crate satellite-cdcl 0.1.0 into /workspace/builds/worker-7-tc2/source
[INFO] testing satellite-cdcl-0.1.0 against beta-2026-01-20 for beta-1.94-1
[INFO] extracting crate satellite-cdcl 0.1.0 into /workspace/builds/worker-7-tc2/source
[INFO] testing satellite-cdcl-0.1.0 against beta-2026-01-20 for beta-1.94-1
[INFO] extracting crate satellite-cdcl 0.1.0 into /workspace/builds/worker-7-tc2/source


unable to download satellite-cdcl version 0.1.0

Caused by:
    0: failed to unpack `satellite-cdcl-0.1.0/src/solver.rs` into `/workspace/builds/worker-7-tc2/source/src/solver.rs`
    1: No space left on device (os error 28)