[INFO] fetching crate cat_solver 3.1.1...
[INFO] checking cat_solver-3.1.1 against try#121a90d34197f711021eeb158e7f4184b8be8ceb for pr-140313
[INFO] extracting crate cat_solver 3.1.1 into /workspace/builds/worker-7-tc2/source
[INFO] checking cat_solver-3.1.1 against try#121a90d34197f711021eeb158e7f4184b8be8ceb for pr-140313
[INFO] extracting crate cat_solver 3.1.1 into /workspace/builds/worker-7-tc2/source
[INFO] checking cat_solver-3.1.1 against try#121a90d34197f711021eeb158e7f4184b8be8ceb for pr-140313
[INFO] extracting crate cat_solver 3.1.1 into /workspace/builds/worker-7-tc2/source
[INFO] checking cat_solver-3.1.1 against try#121a90d34197f711021eeb158e7f4184b8be8ceb for pr-140313
[INFO] extracting crate cat_solver 3.1.1 into /workspace/builds/worker-7-tc2/source
[INFO] checking cat_solver-3.1.1 against try#121a90d34197f711021eeb158e7f4184b8be8ceb for pr-140313
[INFO] extracting crate cat_solver 3.1.1 into /workspace/builds/worker-7-tc2/source


unable to download cat_solver version 3.1.1

Caused by:
    0: failed to unpack `cat_solver-3.1.1/kissat/configure` into `/workspace/builds/worker-7-tc2/source/kissat/configure`
    1: No space left on device (os error 28)