[INFO] cloning repository https://github.com/redwoodresearch/rust_circuit_public
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/redwoodresearch/rust_circuit_public" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fredwoodresearch%2Frust_circuit_public", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fredwoodresearch%2Frust_circuit_public'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] c422bd7bd232e33204a94eddaac25c5efd75dcf4
[INFO] checking redwoodresearch/rust_circuit_public against master#85c39893a761fe4c050523278da4e7e45ab42b6e for pr-134688
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fredwoodresearch%2Frust_circuit_public" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/redwoodresearch/rust_circuit_public on toolchain 85c39893a761fe4c050523278da4e7e45ab42b6e
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+85c39893a761fe4c050523278da4e7e45ab42b6e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] removed /workspace/builds/worker-6-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/redwoodresearch/rust_circuit_public
[INFO] finished tweaking git repo https://github.com/redwoodresearch/rust_circuit_public
[INFO] tweaked toml for git repo https://github.com/redwoodresearch/rust_circuit_public written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/redwoodresearch/rust_circuit_public 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" "+85c39893a761fe4c050523278da4e7e45ab42b6e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Updating git repository `https://github.com/redwoodresearch/pyo3`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded base16 v0.2.1
[INFO] [stderr]   Downloaded miniserde v0.1.28
[INFO] [stderr]   Downloaded mini-internal v0.1.28
[INFO] [stderr]   Downloaded bit-iter v1.1.1
[INFO] [stderr]   Downloaded z3 v0.11.2
[INFO] [stderr]   Downloaded cached v0.38.0
[INFO] [stderr]   Downloaded bindgen v0.58.1
[INFO] [stderr]   Downloaded z3-sys v0.7.1
[INFO] [stderr] error: failed to unpack package `z3-sys v0.7.1`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to unpack entry at `z3-sys-0.7.1/z3/src/ast/special_relations_decl_plugin.h`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to unpack `/workspace/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/z3-sys-0.7.1/z3/src/ast/special_relations_decl_plugin.h`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to unpack `z3-sys-0.7.1/z3/src/ast/special_relations_decl_plugin.h` into `/workspace/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/z3-sys-0.7.1/z3/src/ast/special_relations_decl_plugin.h`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   No space left on device (os error 28)


ExecutionFailed(ExitStatus(unix_wait_status(25856)))