[INFO] fetching crate rustsat-cadical 0.4.4...
[INFO] testing rustsat-cadical-0.4.4 against master#ebf0cf75d368c035f4c7e7246d203bd469ee4a51 for pr-137940
[INFO] extracting crate rustsat-cadical 0.4.4 into /workspace/builds/worker-0-tc1/source


unable to download rustsat-cadical version 0.4.4

Caused by:
    0: failed to unpack `rustsat-cadical-0.4.4/cppsrc/ccadical_extension.h` into `/workspace/builds/worker-0-tc1/source/cppsrc/ccadical_extension.h`
    1: No space left on device (os error 28)