[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#099e089ab723e6ee96175f3496051098c60a4cd4 for pr-140208
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvarqox%2Fprover" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file tests/A/t03.txt
[INFO] [stderr] error: unable to write file tests/A/t04.txt
[INFO] [stderr] error: unable to write file tests/A/t05.txt
[INFO] [stderr] error: unable to write file tests/A/t06.txt
[INFO] [stderr] error: unable to write file tests/A/t07.txt
[INFO] [stderr] error: unable to write file tests/A/t08.txt
[INFO] [stderr] error: unable to write file tests/A/t09.txt
[INFO] [stderr] error: unable to write file tests/A/t10.txt
[INFO] [stderr] error: unable to write file tests/A/t11.txt
[INFO] [stderr] error: unable to write file tests/A/t12.txt
[INFO] [stderr] error: unable to write file tests/A/t13.txt
[INFO] [stderr] error: unable to write file tests/A/t14.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/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#099e089ab723e6ee96175f3496051098c60a4cd4 for pr-140208
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvarqox%2Fprover" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[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#099e089ab723e6ee96175f3496051098c60a4cd4 for pr-140208
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvarqox%2Fprover" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/varqox/prover on toolchain 099e089ab723e6ee96175f3496051098c60a4cd4
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+099e089ab723e6ee96175f3496051098c60a4cd4" "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-7-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" "+099e089ab723e6ee96175f3496051098c60a4cd4" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+099e089ab723e6ee96175f3496051098c60a4cd4" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 2948fbeb7be1449d55bf5f3a52f5809f966f096f95389e1210ca1587828234d6
[INFO] running `Command { std: "docker" "start" "-a" "2948fbeb7be1449d55bf5f3a52f5809f966f096f95389e1210ca1587828234d6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2948fbeb7be1449d55bf5f3a52f5809f966f096f95389e1210ca1587828234d6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2948fbeb7be1449d55bf5f3a52f5809f966f096f95389e1210ca1587828234d6", kill_on_drop: false }`
[INFO] [stdout] 2948fbeb7be1449d55bf5f3a52f5809f966f096f95389e1210ca1587828234d6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+099e089ab723e6ee96175f3496051098c60a4cd4" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] Error response from daemon: chown /var/lib/docker/overlay2/8364f67cae363eb3b5203834a93fb94861644ecc6108ee9a35195bb0c0ee001a-init/work/work: no such file or directory