[INFO] fetching crate agda-tac 0.1.5...
[INFO] checking agda-tac-0.1.5 against try#2277c63fa464d237b17b68d3b87f9fbb89e58a3e for pr-133570-1
[INFO] extracting crate agda-tac 0.1.5 into /workspace/builds/worker-6-tc2/source
[INFO] validating manifest of crates.io crate agda-tac 0.1.5 on toolchain 2277c63fa464d237b17b68d3b87f9fbb89e58a3e
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2277c63fa464d237b17b68d3b87f9fbb89e58a3e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate agda-tac 0.1.5
[INFO] finished tweaking crates.io crate agda-tac 0.1.5
[INFO] tweaked toml for crates.io crate agda-tac 0.1.5 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] crate crates.io crate agda-tac 0.1.5 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2277c63fa464d237b17b68d3b87f9fbb89e58a3e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: failed to save last-use data
[INFO] [stderr] This may prevent cargo from accurately tracking what is being used in its global cache. This information is used for automatically removing unused data in the cache.
[INFO] [stderr] 
[INFO] [stderr] database or disk is full
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   Error code 13: Insertion failed because database is full
[INFO] checking agda-tac-0.1.5 against try#2277c63fa464d237b17b68d3b87f9fbb89e58a3e for pr-133570-1
[INFO] extracting crate agda-tac 0.1.5 into /workspace/builds/worker-6-tc2/source
[INFO] validating manifest of crates.io crate agda-tac 0.1.5 on toolchain 2277c63fa464d237b17b68d3b87f9fbb89e58a3e
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2277c63fa464d237b17b68d3b87f9fbb89e58a3e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate agda-tac 0.1.5
[INFO] finished tweaking crates.io crate agda-tac 0.1.5
[INFO] tweaked toml for crates.io crate agda-tac 0.1.5 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] crate crates.io crate agda-tac 0.1.5 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2277c63fa464d237b17b68d3b87f9fbb89e58a3e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: failed to save last-use data
[INFO] [stderr] This may prevent cargo from accurately tracking what is being used in its global cache. This information is used for automatically removing unused data in the cache.
[INFO] [stderr] 
[INFO] [stderr] database or disk is full
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   Error code 13: Insertion failed because database is full
[INFO] checking agda-tac-0.1.5 against try#2277c63fa464d237b17b68d3b87f9fbb89e58a3e for pr-133570-1
[INFO] extracting crate agda-tac 0.1.5 into /workspace/builds/worker-6-tc2/source
[INFO] checking agda-tac-0.1.5 against try#2277c63fa464d237b17b68d3b87f9fbb89e58a3e for pr-133570-1
[INFO] extracting crate agda-tac 0.1.5 into /workspace/builds/worker-6-tc2/source
[INFO] checking agda-tac-0.1.5 against try#2277c63fa464d237b17b68d3b87f9fbb89e58a3e for pr-133570-1
[INFO] extracting crate agda-tac 0.1.5 into /workspace/builds/worker-6-tc2/source


Custom { kind: StorageFull, error: TarError { desc: "failed to unpack `agda-tac-0.1.5/src/repl/mod.rs` into `/workspace/builds/worker-6-tc2/source/src/repl/mod.rs`", io: Os { code: 28, kind: StorageFull, message: "No space left on device" } } }

unable to download agda-tac version 0.1.5