[INFO] fetching crate agda-mode 0.1.8...
[INFO] checking agda-mode-0.1.8 against master#e43d139a82620a268d3828a73e12a8679339e8f8 for pr-143545
[INFO] extracting crate agda-mode 0.1.8 into /workspace/builds/worker-6-tc1/source
[INFO] started tweaking crates.io crate agda-mode 0.1.8
[INFO] finished tweaking crates.io crate agda-mode 0.1.8
[INFO] tweaked toml for crates.io crate agda-mode 0.1.8 written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate agda-mode 0.1.8 on toolchain e43d139a82620a268d3828a73e12a8679339e8f8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+e43d139a82620a268d3828a73e12a8679339e8f8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+e43d139a82620a268d3828a73e12a8679339e8f8" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]      Locking 26 packages to latest compatible versions
[INFO] [stderr]       Adding tokio v0.3.7 (available: v1.46.1)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+e43d139a82620a268d3828a73e12a8679339e8f8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded tokio v0.3.7
[INFO] [stderr] error: failed to unpack package `tokio v0.3.7`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to unpack entry at `tokio-0.3.7/src/stream/take.rs`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to unpack `/workspace/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/tokio-0.3.7/src/stream/take.rs`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to unpack `tokio-0.3.7/src/stream/take.rs` into `/workspace/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/tokio-0.3.7/src/stream/take.rs`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   No space left on device (os error 28)


command failed: exit status: 101

    Blocking waiting for file lock on package cache
    Blocking waiting for file lock on package cache
 Downloading crates ...
  Downloaded tokio v0.3.7
error: failed to unpack package `tokio v0.3.7`

Caused by:
  failed to unpack entry at `tokio-0.3.7/src/stream/take.rs`

Caused by:
  failed to unpack `/workspace/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/tokio-0.3.7/src/stream/take.rs`

Caused by:
  failed to unpack `tokio-0.3.7/src/stream/take.rs` into `/workspace/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/tokio-0.3.7/src/stream/take.rs`

Caused by:
  No space left on device (os error 28)