[INFO] fetching crate cat_solver 3.1.1...
[INFO] checking cat_solver-3.1.1 against master#e3e432d4d65a55e6db167598e96db2bcb163e316 for pr-140313
[INFO] extracting crate cat_solver 3.1.1 into /workspace/builds/worker-7-tc1/source


unable to download cat_solver version 3.1.1

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