[INFO] fetching crate encore_scheme 0.1.6...
[INFO] checking encore_scheme-0.1.6 against 3154cc1a3e6424e44f438a95007d043ed5ceaaf6+rustflags=-Znext-solver=coherence for pr-133502-30
[INFO] extracting crate encore_scheme 0.1.6 into /workspace/builds/worker-0-tc1/source
[INFO] started tweaking crates.io crate encore_scheme 0.1.6
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate encore_scheme 0.1.6
[INFO] tweaked toml for crates.io crate encore_scheme 0.1.6 written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate encore_scheme 0.1.6 on toolchain 3154cc1a3e6424e44f438a95007d043ed5ceaaf6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate encore_scheme 0.1.6 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" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded encore_vm v0.1.6
[INFO] [stderr]   Downloaded encore_compiler v0.1.6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] e4a8b4e32add9f9f4168641b5dde7ee0ec027f2662f5062522c0a34987f1c0d6
[INFO] running `Command { std: "docker" "start" "e4a8b4e32add9f9f4168641b5dde7ee0ec027f2662f5062522c0a34987f1c0d6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e4a8b4e32add9f9f4168641b5dde7ee0ec027f2662f5062522c0a34987f1c0d6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "e4a8b4e32add9f9f4168641b5dde7ee0ec027f2662f5062522c0a34987f1c0d6" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e4a8b4e32add9f9f4168641b5dde7ee0ec027f2662f5062522c0a34987f1c0d6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Znext-solver=coherence" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "e4a8b4e32add9f9f4168641b5dde7ee0ec027f2662f5062522c0a34987f1c0d6" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]     Checking encore_vm v0.1.6
[INFO] [stderr]     Checking encore_compiler v0.1.6
[INFO] [stderr]     Checking encore_scheme v0.1.6 (/opt/rustwide/workdir)
[INFO] [stdout] error: couldn't read `tests/../../../examples/gcd/gcd.scm`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/rocq_extraction.rs:66:32
[INFO] [stdout]    |
[INFO] [stdout] 66 |     let v = eval_extracted_int(include_str!("../../../examples/gcd/gcd.scm"), "check");
[INFO] [stdout]    |                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/digits/digits.scm`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/rocq_extraction.rs:73:32
[INFO] [stdout]    |
[INFO] [stdout] 73 |     let v = eval_extracted_int(include_str!("../../../examples/digits/digits.scm"), "check");
[INFO] [stdout]    |                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `encore_scheme` (test "rocq_extraction") due to 2 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "e4a8b4e32add9f9f4168641b5dde7ee0ec027f2662f5062522c0a34987f1c0d6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e4a8b4e32add9f9f4168641b5dde7ee0ec027f2662f5062522c0a34987f1c0d6", kill_on_drop: false }`
[INFO] [stdout] e4a8b4e32add9f9f4168641b5dde7ee0ec027f2662f5062522c0a34987f1c0d6
