[INFO] cloning repository https://github.com/kvinwang/gpt-prover
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/kvinwang/gpt-prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkvinwang%2Fgpt-prover", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkvinwang%2Fgpt-prover'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] a3706c31883d0d701b2dcf72e3ec7d50053fa3d9
[INFO] checking kvinwang/gpt-prover against master#5dfe648b45659db8dd0a673a806bba3df84aa3af for pr-134273
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkvinwang%2Fgpt-prover" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/kvinwang/gpt-prover on toolchain 5dfe648b45659db8dd0a673a806bba3df84aa3af
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+5dfe648b45659db8dd0a673a806bba3df84aa3af" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] removed /workspace/builds/worker-2-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/kvinwang/gpt-prover
[INFO] finished tweaking git repo https://github.com/kvinwang/gpt-prover
[INFO] tweaked toml for git repo https://github.com/kvinwang/gpt-prover written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/kvinwang/gpt-prover 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" "+5dfe648b45659db8dd0a673a806bba3df84aa3af" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating git repository `https://github.com/kvinwang/ink`
[INFO] [stderr]     Updating crates.io index
[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] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded sp-debug-derive v10.0.0
[INFO] [stderr]   Downloaded sp-std v10.0.0
[INFO] [stderr]   Downloaded reqwest-env-proxy v0.1.0
[INFO] [stderr]   Downloaded sp-core v23.0.0
[INFO] [stderr]   Downloaded drink-test-macro v0.8.7
[INFO] [stderr]   Downloaded wat v1.201.0
[INFO] [stderr]   Downloaded sp-core-hashing-proc-macro v11.0.0
[INFO] [stderr]   Downloaded pink-macro v0.4.0
[INFO] [stderr] error: failed to unpack package `pink-macro v0.4.0`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to create directory `/workspace/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/pink-macro-0.4.0`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   No space left on device (os error 28)


ExecutionFailed(ExitStatus(unix_wait_status(25856)))