[INFO] fetching crate miden-core-lib 0.20.2...
[INFO] testing miden-core-lib-0.20.2 against beta-2026-01-20 for beta-1.94-1
[INFO] extracting crate miden-core-lib 0.20.2 into /workspace/builds/worker-2-tc2/source
[INFO] testing miden-core-lib-0.20.2 against beta-2026-01-20 for beta-1.94-1
[INFO] extracting crate miden-core-lib 0.20.2 into /workspace/builds/worker-2-tc2/source
[INFO] testing miden-core-lib-0.20.2 against beta-2026-01-20 for beta-1.94-1
[INFO] extracting crate miden-core-lib 0.20.2 into /workspace/builds/worker-2-tc2/source
[INFO] testing miden-core-lib-0.20.2 against beta-2026-01-20 for beta-1.94-1
[INFO] extracting crate miden-core-lib 0.20.2 into /workspace/builds/worker-2-tc2/source
[INFO] testing miden-core-lib-0.20.2 against beta-2026-01-20 for beta-1.94-1
[INFO] extracting crate miden-core-lib 0.20.2 into /workspace/builds/worker-2-tc2/source


unable to download miden-core-lib version 0.20.2

Caused by:
    0: failed to unpack `miden-core-lib-0.20.2/Cargo.lock` into `/workspace/builds/worker-2-tc2/source/Cargo.lock`
    1: No space left on device (os error 28)