[INFO] fetching crate struqture-py 2.2.3...
[INFO] checking struqture-py-2.2.3 against master#fce0e74720d199eb7839fdb51af35ac5226da178 for pr-145262
[INFO] extracting crate struqture-py 2.2.3 into /workspace/builds/worker-7-tc1/source


unable to download struqture-py version 2.2.3

Caused by:
    0: failed to unpack `struqture-py-2.2.3/src/mixed_systems/mixed_operator.rs` into `/workspace/builds/worker-7-tc1/source/src/mixed_systems/mixed_operator.rs`
    1: No space left on device (os error 28)