[INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover/refs/tags: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 1) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover/refs/tags: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 2) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover/refs/heads: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 3) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover/refs: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 4) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover/refs: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 5) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover/refs: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 6) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] error: copy-fd: write returned: No space left on device [INFO] [stderr] fatal: cannot copy '/usr/share/git-core/templates/description' to '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover/description': No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 7) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover/branches/: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 8) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 5f42a6f9fed24c439c53dcbbfa59ceba5b44361e [INFO] testing mverleg/prover against master#d7bd9cd469ff6871420007f091ef52fc32d2ca99 for pr-121417 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/mverleg/prover on toolchain d7bd9cd469ff6871420007f091ef52fc32d2ca99 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d7bd9cd469ff6871420007f091ef52fc32d2ca99" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/mverleg/prover [INFO] finished tweaking git repo https://github.com/mverleg/prover [INFO] tweaked toml for git repo https://github.com/mverleg/prover written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/mverleg/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" "+d7bd9cd469ff6871420007f091ef52fc32d2ca99" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+d7bd9cd469ff6871420007f091ef52fc32d2ca99" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] dea743a0eda394011e168590e91f9546c96eb47d0155931e1c8143d1ce11d83d [INFO] running `Command { std: "docker" "start" "-a" "dea743a0eda394011e168590e91f9546c96eb47d0155931e1c8143d1ce11d83d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "dea743a0eda394011e168590e91f9546c96eb47d0155931e1c8143d1ce11d83d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "dea743a0eda394011e168590e91f9546c96eb47d0155931e1c8143d1ce11d83d", kill_on_drop: false }` [INFO] [stdout] dea743a0eda394011e168590e91f9546c96eb47d0155931e1c8143d1ce11d83d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+d7bd9cd469ff6871420007f091ef52fc32d2ca99" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] da894e016306c25d385747b273eb01f5328590795afc8a519e37856e9d81882a [INFO] running `Command { std: "docker" "start" "-a" "da894e016306c25d385747b273eb01f5328590795afc8a519e37856e9d81882a", kill_on_drop: false }` [INFO] [stderr] Compiling bound_prover v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/logic/mod.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use std::prelude::v1::Vec; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/d7bd9cd469ff6871420007f091ef52fc32d2ca99/library/std/src/prelude/mod.rs:105:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `num::Num` [INFO] [stdout] --> src/logic/proposition.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use num::Num; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `logic::eql::Eql` [INFO] [stdout] --> src/notation.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use logic::eql::Eql; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `logic::gt::Gt` [INFO] [stdout] --> src/notation.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use logic::gt::Gt; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `logic::lt::Lt` [INFO] [stdout] --> src/notation.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use logic::lt::Lt; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `num::Num` [INFO] [stdout] --> src/notation.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use num::Num; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/logic/mod.rs:14:13 [INFO] [stdout] | [INFO] [stdout] 14 | Num(&'a Num), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stdout] help: if this is an object-safe trait, use `dyn` [INFO] [stdout] | [INFO] [stdout] 14 | Num(&'a dyn Num), [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0038]: the trait `Num` cannot be made into an object [INFO] [stdout] --> src/logic/mod.rs:14:13 [INFO] [stdout] | [INFO] [stdout] 14 | Num(&'a Num), [INFO] [stdout] | ^^^^^^ `Num` cannot be made into an object [INFO] [stdout] | [INFO] [stdout] note: for a trait to be "object safe" it needs to allow building a vtable to allow the call to be resolvable dynamically; for more information visit [INFO] [stdout] --> src/num/mod.rs:6:50 [INFO] [stdout] | [INFO] [stdout] 6 | pub trait Num: Difficulty + Display + Clone + PartialEq + Eq + Hash where T: Nr { [INFO] [stdout] | --- ^^^^^^^^^ ...because it uses `Self` as a type parameter [INFO] [stdout] | | [INFO] [stdout] | this trait cannot be made into an object... [INFO] [stdout] --> /rustc/d7bd9cd469ff6871420007f091ef52fc32d2ca99/library/core/src/cmp.rs:329:15 [INFO] [stdout] | [INFO] [stdout] = note: ...because it uses `Self` as a type parameter [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/proposition.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | impl Logic for Prop where T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/not.rs:17:1 [INFO] [stdout] | [INFO] [stdout] 17 | impl Logic for Not where L: Logic, T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/and.rs:17:1 [INFO] [stdout] | [INFO] [stdout] 17 | impl Logic for And where L: Logic, R: Logic, T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/or.rs:17:1 [INFO] [stdout] | [INFO] [stdout] 17 | impl Logic for Or where L: Logic, R: Logic, T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/eql.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | impl Logic for Eql where L: Num, R: Num, T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/gt.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | impl Logic for Gt where L: Num, R: Num, T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/lt.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | impl Logic for Lt where L: Num, R: Num, T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `get_props_nums` found for mutable reference `&mut Self` in the current scope [INFO] [stdout] --> src/logic/mod.rs:23:14 [INFO] [stdout] | [INFO] [stdout] 23 | self.get_props_nums() [INFO] [stdout] | -----^^^^^^^^^^^^^^-- [INFO] [stdout] | | | [INFO] [stdout] | | this is an associated function, not a method [INFO] [stdout] | help: use associated function syntax instead: `Self::get_props_nums()` [INFO] [stdout] | [INFO] [stdout] = note: found the following associated functions; to be used as methods, functions must have a `self` parameter [INFO] [stdout] note: the candidate is defined in the trait `Logic` [INFO] [stdout] --> src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 9 previous errors; 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0038, E0046, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0038`. [INFO] [stdout] [INFO] [stderr] error: could not compile `bound_prover` (lib) due to 10 previous errors; 7 warnings emitted [INFO] running `Command { std: "docker" "inspect" "da894e016306c25d385747b273eb01f5328590795afc8a519e37856e9d81882a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "da894e016306c25d385747b273eb01f5328590795afc8a519e37856e9d81882a", kill_on_drop: false }` [INFO] [stdout] da894e016306c25d385747b273eb01f5328590795afc8a519e37856e9d81882a [INFO] testing mverleg/prover against try#393ef12c970fbc7f294cd96c35cb76f9591bc1d6 for pr-121417 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/mverleg/prover on toolchain 393ef12c970fbc7f294cd96c35cb76f9591bc1d6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+393ef12c970fbc7f294cd96c35cb76f9591bc1d6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/mverleg/prover [INFO] finished tweaking git repo https://github.com/mverleg/prover [INFO] tweaked toml for git repo https://github.com/mverleg/prover written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/mverleg/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" "+393ef12c970fbc7f294cd96c35cb76f9591bc1d6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+393ef12c970fbc7f294cd96c35cb76f9591bc1d6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 57531f5936dcd9bd36d1ed2fa4d0743973d93a6c46b381ac041f777db0a89ae6 [INFO] running `Command { std: "docker" "start" "-a" "57531f5936dcd9bd36d1ed2fa4d0743973d93a6c46b381ac041f777db0a89ae6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "57531f5936dcd9bd36d1ed2fa4d0743973d93a6c46b381ac041f777db0a89ae6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "57531f5936dcd9bd36d1ed2fa4d0743973d93a6c46b381ac041f777db0a89ae6", kill_on_drop: false }` [INFO] [stdout] 57531f5936dcd9bd36d1ed2fa4d0743973d93a6c46b381ac041f777db0a89ae6 [INFO] testing mverleg/prover against try#393ef12c970fbc7f294cd96c35cb76f9591bc1d6 for pr-121417 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/mverleg/prover on toolchain 393ef12c970fbc7f294cd96c35cb76f9591bc1d6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+393ef12c970fbc7f294cd96c35cb76f9591bc1d6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/mverleg/prover [INFO] finished tweaking git repo https://github.com/mverleg/prover [INFO] tweaked toml for git repo https://github.com/mverleg/prover written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/mverleg/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" "+393ef12c970fbc7f294cd96c35cb76f9591bc1d6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+393ef12c970fbc7f294cd96c35cb76f9591bc1d6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] Error response from daemon: mkdir /var/lib/docker/overlay2/a328b05bf2495c8bbc60fa5dee4ace513ab0921aefb6b8877cb200e227bd001d-init: no space left on device [INFO] testing mverleg/prover against try#393ef12c970fbc7f294cd96c35cb76f9591bc1d6 for pr-121417 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file src/util.rs [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] testing mverleg/prover against try#393ef12c970fbc7f294cd96c35cb76f9591bc1d6 for pr-121417 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file src/util.rs [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] testing mverleg/prover against try#393ef12c970fbc7f294cd96c35cb76f9591bc1d6 for pr-121417 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/mverleg/prover on toolchain 393ef12c970fbc7f294cd96c35cb76f9591bc1d6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+393ef12c970fbc7f294cd96c35cb76f9591bc1d6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/mverleg/prover [INFO] finished tweaking git repo https://github.com/mverleg/prover [INFO] tweaked toml for git repo https://github.com/mverleg/prover written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/mverleg/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" "+393ef12c970fbc7f294cd96c35cb76f9591bc1d6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+393ef12c970fbc7f294cd96c35cb76f9591bc1d6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 3553ee0ae7dd0b2e2446fd3582d6e83f7905665d9f3909ff307839c5951f90bf [INFO] running `Command { std: "docker" "start" "-a" "3553ee0ae7dd0b2e2446fd3582d6e83f7905665d9f3909ff307839c5951f90bf", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "3553ee0ae7dd0b2e2446fd3582d6e83f7905665d9f3909ff307839c5951f90bf", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3553ee0ae7dd0b2e2446fd3582d6e83f7905665d9f3909ff307839c5951f90bf", kill_on_drop: false }` [INFO] [stdout] 3553ee0ae7dd0b2e2446fd3582d6e83f7905665d9f3909ff307839c5951f90bf [ERROR] this task or one of its parent failed! [ERROR] command failed: exit status: 1 [ERROR] note: run with `RUST_BACKTRACE=1` to display a backtrace.