[INFO] fetching crate metamath-rs 0.3.8...
[INFO] checking metamath-rs-0.3.8 against try#9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869 for pr-129249
[INFO] extracting crate metamath-rs 0.3.8 into /workspace/builds/worker-3-tc2/source
[INFO] checking metamath-rs-0.3.8 against try#9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869 for pr-129249
[INFO] extracting crate metamath-rs 0.3.8 into /workspace/builds/worker-3-tc2/source
[INFO] checking metamath-rs-0.3.8 against try#9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869 for pr-129249
[INFO] extracting crate metamath-rs 0.3.8 into /workspace/builds/worker-3-tc2/source
[INFO] checking metamath-rs-0.3.8 against try#9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869 for pr-129249
[INFO] extracting crate metamath-rs 0.3.8 into /workspace/builds/worker-3-tc2/source
[INFO] checking metamath-rs-0.3.8 against try#9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869 for pr-129249
[INFO] extracting crate metamath-rs 0.3.8 into /workspace/builds/worker-3-tc2/source


Custom { kind: StorageFull, error: TarError { desc: "failed to unpack `metamath-rs-0.3.8/src/database.rs` into `/workspace/builds/worker-3-tc2/source/src/database.rs`", io: Os { code: 28, kind: StorageFull, message: "No space left on device" } } }

unable to download metamath-rs version 0.3.8