[INFO] fetching crate agda-tac 0.1.5...
[INFO] checking agda-tac-0.1.5 against master#fc5af1813307d25a84d633f21e2e53c9376eb547 for pr-144386
[INFO] extracting crate agda-tac 0.1.5 into /workspace/builds/worker-0-tc1/source
[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-0-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate agda-tac 0.1.5 on toolchain fc5af1813307d25a84d633f21e2e53c9376eb547
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+fc5af1813307d25a84d633f21e2e53c9376eb547" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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" "+fc5af1813307d25a84d633f21e2e53c9376eb547" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr] warning: failed to write cache, path: /workspace/cargo-home/registry/index/index.crates.io-1949cf8c6b5b557f/.cache/ag/da/agda-mode, error: No space left on device (os error 28)
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded cc v1.0.63
[INFO] [stderr] error: No space left on device (os error 28)


command failed: exit status: 101

    Updating crates.io index
warning: failed to write cache, path: /workspace/cargo-home/registry/index/index.crates.io-1949cf8c6b5b557f/.cache/ag/da/agda-mode, error: No space left on device (os error 28)
 Downloading crates ...
  Downloaded cc v1.0.63
error: No space left on device (os error 28)