[INFO] cloning repository https://github.com/varqox/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/varqox/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvarqox%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvarqox%2Fprover'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 042bb0d345ab092ac649826bd79046c2bc39955e [INFO] checking varqox/prover against try#51b1964e35e5e26f8cd938940f0da6f7b5cc54fc for pr-138176 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvarqox%2Fprover" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file tests/A/t29.txt [INFO] [stderr] error: unable to write file tests/A/t30.txt [INFO] [stderr] error: unable to write file tests/A/t31.txt [INFO] [stderr] error: unable to write file tests/A/t32.txt [INFO] [stderr] error: unable to write file tests/A/t33.txt [INFO] [stderr] error: unable to write file tests/A/t34.txt [INFO] [stderr] error: unable to write file tests/A/t35.txt [INFO] [stderr] error: unable to write file tests/A/t36.txt [INFO] [stderr] error: unable to write file tests/A/t37.txt [INFO] [stderr] error: unable to write file tests/A/t38.txt [INFO] [stderr] error: unable to write file tests/A/t39.txt [INFO] [stderr] error: unable to write file tests/A/t40.txt [INFO] [stderr] error: unable to write file tests/A/t41.txt [INFO] [stderr] error: unable to write file tests/A/t42.txt [INFO] [stderr] error: unable to write file tests/A/t43.txt [INFO] [stderr] error: unable to write file tests/A/t44.txt [INFO] [stderr] error: unable to write file tests/A/t45.txt [INFO] [stderr] error: unable to write file tests/A/t46.txt [INFO] [stderr] error: unable to write file tests/A/t47.txt [INFO] [stderr] error: unable to write file tests/A/t48.txt [INFO] [stderr] error: unable to write file tests/A/t49.txt [INFO] [stderr] error: unable to write file tests/A/t50.txt [INFO] [stderr] error: unable to write file tests/A/t51.txt [INFO] [stderr] error: unable to write file tests/A/t52.txt [INFO] [stderr] error: unable to write file tests/A/t53.txt [INFO] [stderr] error: unable to write file tests/A/t54.txt [INFO] [stderr] error: unable to write file tests/A/t55.txt [INFO] [stderr] error: unable to write file tests/A/t56.txt [INFO] [stderr] error: unable to write file tests/A/t57.txt [INFO] [stderr] error: unable to write file tests/A/t58.txt [INFO] [stderr] error: unable to write file tests/A/t59.txt [INFO] [stderr] error: unable to write file tests/A/t60.txt [INFO] [stderr] error: unable to write file tests/A/t61.txt [INFO] [stderr] error: unable to write file tests/A/t62.txt [INFO] [stderr] error: unable to write file tests/A/t63.txt [INFO] [stderr] error: unable to write file tests/A/t64.txt [INFO] [stderr] error: unable to write file tests/A/t65.txt [INFO] [stderr] error: unable to write file tests/A/t66.txt [INFO] [stderr] error: unable to write file tests/A/t67.txt [INFO] [stderr] error: unable to write file tests/A/t68.txt [INFO] [stderr] error: unable to write file tests/A/t69.txt [INFO] [stderr] error: unable to write file tests/A/t70.txt [INFO] [stderr] error: unable to write file tests/A/t71.txt [INFO] [stderr] error: unable to write file tests/A/t72.txt [INFO] [stderr] error: unable to write file tests/A/t73.txt [INFO] [stderr] error: unable to write file tests/A/t74.txt [INFO] [stderr] error: unable to write file tests/A/t75.txt [INFO] [stderr] error: unable to write file tests/A/t76.txt [INFO] [stderr] fatal: cannot create directory at 'tests/B': No space left on device [INFO] [stderr] warning: Clone succeeded, but checkout failed. [INFO] [stderr] You can inspect what was checked out with 'git status' [INFO] [stderr] and retry with 'git restore --source=HEAD :/' [INFO] [stderr] [INFO] checking varqox/prover against try#51b1964e35e5e26f8cd938940f0da6f7b5cc54fc for pr-138176 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvarqox%2Fprover" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file tests/A/t31.txt [INFO] [stderr] error: unable to write file tests/A/t32.txt [INFO] [stderr] error: unable to write file tests/A/t33.txt [INFO] [stderr] error: unable to write file tests/A/t34.txt [INFO] [stderr] error: unable to write file tests/A/t35.txt [INFO] [stderr] error: unable to write file tests/A/t36.txt [INFO] [stderr] error: unable to write file tests/A/t37.txt [INFO] [stderr] error: unable to write file tests/A/t38.txt [INFO] [stderr] error: unable to write file tests/A/t39.txt [INFO] [stderr] error: unable to write file tests/A/t40.txt [INFO] [stderr] error: unable to write file tests/A/t41.txt [INFO] [stderr] error: unable to write file tests/A/t42.txt [INFO] [stderr] error: unable to write file tests/A/t43.txt [INFO] [stderr] error: unable to write file tests/A/t44.txt [INFO] [stderr] error: unable to write file tests/A/t45.txt [INFO] [stderr] error: unable to write file tests/A/t46.txt [INFO] [stderr] error: unable to write file tests/A/t47.txt [INFO] [stderr] error: unable to write file tests/A/t48.txt [INFO] [stderr] error: unable to write file tests/A/t49.txt [INFO] [stderr] error: unable to write file tests/A/t50.txt [INFO] [stderr] error: unable to write file tests/A/t51.txt [INFO] [stderr] error: unable to write file tests/A/t52.txt [INFO] [stderr] error: unable to write file tests/A/t53.txt [INFO] [stderr] error: unable to write file tests/A/t54.txt [INFO] [stderr] error: unable to write file tests/A/t55.txt [INFO] [stderr] error: unable to write file tests/A/t56.txt [INFO] [stderr] error: unable to write file tests/A/t57.txt [INFO] [stderr] error: unable to write file tests/A/t58.txt [INFO] [stderr] error: unable to write file tests/A/t59.txt [INFO] [stderr] error: unable to write file tests/A/t60.txt [INFO] [stderr] error: unable to write file tests/A/t61.txt [INFO] [stderr] error: unable to write file tests/A/t62.txt [INFO] [stderr] error: unable to write file tests/A/t63.txt [INFO] [stderr] error: unable to write file tests/A/t64.txt [INFO] [stderr] error: unable to write file tests/A/t65.txt [INFO] [stderr] error: unable to write file tests/A/t66.txt [INFO] [stderr] error: unable to write file tests/C/t009.txt [INFO] [stderr] error: unable to write file tests/C/t010.txt [INFO] [stderr] error: unable to write file tests/C/t011.txt [INFO] [stderr] error: unable to write file tests/C/t012.txt [INFO] [stderr] error: unable to write file tests/C/t013.txt [INFO] [stderr] error: unable to write file tests/C/t014.txt [INFO] [stderr] error: unable to write file tests/C/t015.txt [INFO] [stderr] error: unable to write file tests/C/t016.txt [INFO] [stderr] error: unable to write file tests/C/t017.txt [INFO] [stderr] error: unable to write file tests/C/t018.txt [INFO] [stderr] error: unable to write file tests/C/t019.txt [INFO] [stderr] error: unable to write file tests/C/t020.txt [INFO] [stderr] error: unable to write file tests/C/t021.txt [INFO] [stderr] error: unable to write file tests/C/t022.txt [INFO] [stderr] error: unable to write file tests/C/t023.txt [INFO] [stderr] error: unable to write file tests/C/t024.txt [INFO] [stderr] fatal: unable to checkout working tree [INFO] [stderr] warning: Clone succeeded, but checkout failed. [INFO] [stderr] You can inspect what was checked out with 'git status' [INFO] [stderr] and retry with 'git restore --source=HEAD :/' [INFO] [stderr] [INFO] checking varqox/prover against try#51b1964e35e5e26f8cd938940f0da6f7b5cc54fc for pr-138176 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvarqox%2Fprover" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file tests/C/t029.txt [INFO] [stderr] error: unable to write file tests/C/t030.txt [INFO] [stderr] error: unable to write file tests/C/t031.txt [INFO] [stderr] error: unable to write file tests/C/t032.txt [INFO] [stderr] error: unable to write file tests/C/t033.txt [INFO] [stderr] error: unable to write file tests/C/t034.txt [INFO] [stderr] error: unable to write file tests/C/t035.txt [INFO] [stderr] error: unable to write file tests/C/t036.txt [INFO] [stderr] error: unable to write file tests/C/t037.txt [INFO] [stderr] error: unable to write file tests/C/t038.txt [INFO] [stderr] error: unable to write file tests/C/t039.txt [INFO] [stderr] error: unable to write file tests/C/t040.txt [INFO] [stderr] error: unable to write file tests/C/t041.txt [INFO] [stderr] error: unable to write file tests/C/t042.txt [INFO] [stderr] error: unable to write file tests/C/t043.txt [INFO] [stderr] error: unable to write file tests/C/t044.txt [INFO] [stderr] error: unable to write file tests/C/t045.txt [INFO] [stderr] error: unable to write file tests/C/t046.txt [INFO] [stderr] error: unable to write file tests/C/t047.txt [INFO] [stderr] error: unable to write file tests/C/t048.txt [INFO] [stderr] error: unable to write file tests/C/t049.txt [INFO] [stderr] error: unable to write file tests/C/t050.txt [INFO] [stderr] fatal: unable to checkout working tree [INFO] [stderr] warning: Clone succeeded, but checkout failed. [INFO] [stderr] You can inspect what was checked out with 'git status' [INFO] [stderr] and retry with 'git restore --source=HEAD :/' [INFO] [stderr] [INFO] checking varqox/prover against try#51b1964e35e5e26f8cd938940f0da6f7b5cc54fc for pr-138176 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvarqox%2Fprover" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/varqox/prover on toolchain 51b1964e35e5e26f8cd938940f0da6f7b5cc54fc [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+51b1964e35e5e26f8cd938940f0da6f7b5cc54fc" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/varqox/prover [INFO] finished tweaking git repo https://github.com/varqox/prover [INFO] tweaked toml for git repo https://github.com/varqox/prover written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/varqox/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" "+51b1964e35e5e26f8cd938940f0da6f7b5cc54fc" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:1680c8fbd8dfb46fcd6d22e546df16ab0e007457dc29fcd9e987cdd5077fd1af" "/opt/rustwide/cargo-home/bin/cargo" "+51b1964e35e5e26f8cd938940f0da6f7b5cc54fc" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ace4024f49b4fb8395a0989c5308ccbafac4d66810ac026ad17f3a60552a0e25 [INFO] running `Command { std: "docker" "start" "-a" "ace4024f49b4fb8395a0989c5308ccbafac4d66810ac026ad17f3a60552a0e25", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ace4024f49b4fb8395a0989c5308ccbafac4d66810ac026ad17f3a60552a0e25", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ace4024f49b4fb8395a0989c5308ccbafac4d66810ac026ad17f3a60552a0e25", kill_on_drop: false }` [INFO] [stdout] ace4024f49b4fb8395a0989c5308ccbafac4d66810ac026ad17f3a60552a0e25 [INFO] checking varqox/prover against try#51b1964e35e5e26f8cd938940f0da6f7b5cc54fc for pr-138176 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvarqox%2Fprover" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/varqox/prover on toolchain 51b1964e35e5e26f8cd938940f0da6f7b5cc54fc [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+51b1964e35e5e26f8cd938940f0da6f7b5cc54fc" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/varqox/prover [INFO] finished tweaking git repo https://github.com/varqox/prover [INFO] tweaked toml for git repo https://github.com/varqox/prover written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/varqox/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" "+51b1964e35e5e26f8cd938940f0da6f7b5cc54fc" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:1680c8fbd8dfb46fcd6d22e546df16ab0e007457dc29fcd9e987cdd5077fd1af" "/opt/rustwide/cargo-home/bin/cargo" "+51b1964e35e5e26f8cd938940f0da6f7b5cc54fc" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] Error response from daemon: write /var/lib/docker/containers/fa1337a0cea0162d41701045081e3f08de1546c5c99bffbcb7b835c26c3ee38e/.tmp-hostconfig.json124489182: no space left on device sandbox container could not be created: command failed: exit status: 1 Error response from daemon: write /var/lib/docker/containers/fa1337a0cea0162d41701045081e3f08de1546c5c99bffbcb7b835c26c3ee38e/.tmp-hostconfig.json124489182: no space left on device Caused by: command failed: exit status: 1 Error response from daemon: write /var/lib/docker/containers/fa1337a0cea0162d41701045081e3f08de1546c5c99bffbcb7b835c26c3ee38e/.tmp-hostconfig.json124489182: no space left on device