Nov 30 11:10:24.325 INFO checking ExcaliburZero/resolution-prover against master#a49316ddc99d9d595193557fc899f6c52e4d9af9 for pr-56323
Nov 30 11:10:24.325 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56323/worker-3/master#a49316ddc99d9d595193557fc899f6c52e4d9af9:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-56323/master#a49316ddc99d9d595193557fc899f6c52e4d9af9:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +a49316ddc99d9d595193557fc899f6c52e4d9af9-alt check --frozen --all --all-targets" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 30 11:10:24.752 INFO [stdout] 0092239c24e1bb6cd21225d29208cbd86f344321f7fb4fbf5ea8e563b96d7869
Nov 30 11:10:24.760 INFO running `"docker" "start" "-a" "0092239c24e1bb6cd21225d29208cbd86f344321f7fb4fbf5ea8e563b96d7869"`
Nov 30 11:10:25.443 INFO [stderr] usermod: no changes
Nov 30 11:10:25.479 INFO [stderr]     Checking multimap v0.4.0
Nov 30 11:10:26.076 INFO [stderr]     Checking resolution-prover v0.1.0 (/source)
Nov 30 11:10:27.961 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2.49s
Nov 30 11:10:27.964 INFO [stderr] su: No module specific data is present
Nov 30 11:10:28.675 INFO running `"docker" "inspect" "0092239c24e1bb6cd21225d29208cbd86f344321f7fb4fbf5ea8e563b96d7869"`
Nov 30 11:10:28.946 INFO running `"docker" "rm" "-f" "0092239c24e1bb6cd21225d29208cbd86f344321f7fb4fbf5ea8e563b96d7869"`
Nov 30 11:10:29.259 INFO [stdout] 0092239c24e1bb6cd21225d29208cbd86f344321f7fb4fbf5ea8e563b96d7869