Dec 18 16:28:34.073 INFO checking fixpoint-0.2.0 against master#96d1334e567237b1507cd277938e7ae2de75ff51 for pr-54252
Dec 18 16:28:34.073 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-54252/worker-1/master#96d1334e567237b1507cd277938e7ae2de75ff51:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-54252/sources/master#96d1334e567237b1507cd277938e7ae2de75ff51/reg/fixpoint/0.2.0:/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" "+96d1334e567237b1507cd277938e7ae2de75ff51-alt" "check" "--frozen" "--all" "--all-targets"`
Dec 18 16:28:34.296 INFO [stdout] 80d38826b4aa1a52b7761aed6dd248b2fadde14575c47e9d70f444e1aff778f9
Dec 18 16:28:34.302 INFO running `"docker" "start" "-a" "80d38826b4aa1a52b7761aed6dd248b2fadde14575c47e9d70f444e1aff778f9"`
Dec 18 16:28:35.843 INFO [stderr]     Checking fixpoint v0.2.0 (/opt/crater/workdir)
Dec 18 16:28:36.344 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.53s
Dec 18 16:28:36.645 INFO running `"docker" "inspect" "80d38826b4aa1a52b7761aed6dd248b2fadde14575c47e9d70f444e1aff778f9"`
Dec 18 16:28:36.784 INFO running `"docker" "rm" "-f" "80d38826b4aa1a52b7761aed6dd248b2fadde14575c47e9d70f444e1aff778f9"`
Dec 18 16:28:36.992 INFO [stdout] 80d38826b4aa1a52b7761aed6dd248b2fadde14575c47e9d70f444e1aff778f9