[INFO] fetching crate batsat 0.6.0...
[INFO] checking batsat-0.6.0 against master#cd805f09ffbfa3896c8f50a619de9b67e1d9f3c3 for pr-135841
[INFO] extracting crate batsat 0.6.0 into /workspace/builds/worker-3-tc1/source


unable to download batsat version 0.6.0

Caused by:
    0: failed to unpack `batsat-0.6.0/src/clause.rs` into `/workspace/builds/worker-3-tc1/source/src/clause.rs`
    1: No space left on device (os error 28)