[INFO] updating cached repository ExcaliburZero/resolution-prover [INFO] running `"git" "fetch" "--all"` [INFO] [stdout] Fetching origin [INFO] [stderr] From git://github.com/ExcaliburZero/resolution-prover [INFO] [stderr] * branch HEAD -> FETCH_HEAD [INFO] running `"git" "clone" "work/cache/sources/gh/ExcaliburZero/resolution-prover" "work/ex/pr-57617/sources/master#e2f221c75932de7a29845c8d6f1f73536ad00c41/gh/ExcaliburZero/resolution-prover"` [INFO] [stderr] Cloning into 'work/ex/pr-57617/sources/master#e2f221c75932de7a29845c8d6f1f73536ad00c41/gh/ExcaliburZero/resolution-prover'... [INFO] [stderr] done. [INFO] running `"git" "clone" "work/cache/sources/gh/ExcaliburZero/resolution-prover" "work/ex/pr-57617/sources/try#0bfb90d213a93e466b33d078a5b535a2a6f9c5ff/gh/ExcaliburZero/resolution-prover"` [INFO] [stderr] Cloning into 'work/ex/pr-57617/sources/try#0bfb90d213a93e466b33d078a5b535a2a6f9c5ff/gh/ExcaliburZero/resolution-prover'... [INFO] [stderr] done. [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] c454965052a2cbd6167c5bbb3791ae766cb9fb7e [INFO] sha for GitHub repo ExcaliburZero/resolution-prover: c454965052a2cbd6167c5bbb3791ae766cb9fb7e [INFO] validating manifest of ExcaliburZero/resolution-prover on toolchain master#e2f221c75932de7a29845c8d6f1f73536ad00c41 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+e2f221c75932de7a29845c8d6f1f73536ad00c41-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of ExcaliburZero/resolution-prover on toolchain try#0bfb90d213a93e466b33d078a5b535a2a6f9c5ff [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+0bfb90d213a93e466b33d078a5b535a2a6f9c5ff-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started frobbing ExcaliburZero/resolution-prover [INFO] finished frobbing ExcaliburZero/resolution-prover [INFO] frobbed toml for ExcaliburZero/resolution-prover written to work/ex/pr-57617/sources/master#e2f221c75932de7a29845c8d6f1f73536ad00c41/gh/ExcaliburZero/resolution-prover/Cargo.toml [INFO] started frobbing ExcaliburZero/resolution-prover [INFO] finished frobbing ExcaliburZero/resolution-prover [INFO] frobbed toml for ExcaliburZero/resolution-prover written to work/ex/pr-57617/sources/try#0bfb90d213a93e466b33d078a5b535a2a6f9c5ff/gh/ExcaliburZero/resolution-prover/Cargo.toml [INFO] crate ExcaliburZero/resolution-prover has a lockfile. skipping [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+e2f221c75932de7a29845c8d6f1f73536ad00c41-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+0bfb90d213a93e466b33d078a5b535a2a6f9c5ff-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] checking ExcaliburZero/resolution-prover against try#0bfb90d213a93e466b33d078a5b535a2a6f9c5ff for pr-57617 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-57617/worker-2/try#0bfb90d213a93e466b33d078a5b535a2a6f9c5ff:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-57617/sources/try#0bfb90d213a93e466b33d078a5b535a2a6f9c5ff/gh/ExcaliburZero/resolution-prover:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+0bfb90d213a93e466b33d078a5b535a2a6f9c5ff-alt" "check" "--frozen" "--all" "--all-targets"` [INFO] [stdout] c2cab52db1520fb317ead60ffb2ff7d32b81ce6f3ef83e5bd532f0657024cd56 [INFO] running `"docker" "start" "-a" "c2cab52db1520fb317ead60ffb2ff7d32b81ce6f3ef83e5bd532f0657024cd56"` [INFO] [stderr] Checking multimap v0.4.0 [INFO] [stderr] Checking resolution-prover v0.1.0 (/opt/crater/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.37s [INFO] running `"docker" "inspect" "c2cab52db1520fb317ead60ffb2ff7d32b81ce6f3ef83e5bd532f0657024cd56"` [INFO] running `"docker" "rm" "-f" "c2cab52db1520fb317ead60ffb2ff7d32b81ce6f3ef83e5bd532f0657024cd56"` [INFO] [stdout] c2cab52db1520fb317ead60ffb2ff7d32b81ce6f3ef83e5bd532f0657024cd56