[INFO] fetching crate rustsat-batsat 0.7.4...
[INFO] testing rustsat-batsat-0.7.4 against beta-2026-01-20 for beta-1.94-1
[INFO] extracting crate rustsat-batsat 0.7.4 into /workspace/builds/worker-6-tc2/source
[INFO] testing rustsat-batsat-0.7.4 against beta-2026-01-20 for beta-1.94-1
[INFO] extracting crate rustsat-batsat 0.7.4 into /workspace/builds/worker-6-tc2/source
[INFO] testing rustsat-batsat-0.7.4 against beta-2026-01-20 for beta-1.94-1
[INFO] extracting crate rustsat-batsat 0.7.4 into /workspace/builds/worker-6-tc2/source
[INFO] testing rustsat-batsat-0.7.4 against beta-2026-01-20 for beta-1.94-1
[INFO] extracting crate rustsat-batsat 0.7.4 into /workspace/builds/worker-6-tc2/source
[INFO] testing rustsat-batsat-0.7.4 against beta-2026-01-20 for beta-1.94-1
[INFO] extracting crate rustsat-batsat 0.7.4 into /workspace/builds/worker-6-tc2/source


unable to download rustsat-batsat version 0.7.4

Caused by:
    No space left on device (os error 28)