Nov 09 20:27:27.360 INFO checking Dacit/sequent_prover against try#dc13be39fae8d4c607889b27de374b52586485a3 for pr-55632
Nov 09 20:27:27.360 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55632/worker-4/try#dc13be39fae8d4c607889b27de374b52586485a3:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/pr-55632/try#dc13be39fae8d4c607889b27de374b52586485a3:/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 +dc13be39fae8d4c607889b27de374b52586485a3-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 09 20:27:27.887 INFO blam! 96dd05971c0b628ab8d63409e27d7b30b79af66934d6f3a2b1285714c37aca20
Nov 09 20:27:27.895 INFO running `"docker" "start" "-a" "96dd05971c0b628ab8d63409e27d7b30b79af66934d6f3a2b1285714c37aca20"`
Nov 09 20:27:28.731 INFO kablam! usermod: no changes
Nov 09 20:27:28.775 INFO kablam!     Checking terminal_size v0.1.7
Nov 09 20:27:29.180 INFO kablam!     Checking sequent_prover v0.1.0 (/source)
Nov 09 20:27:29.990 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 1.24s
Nov 09 20:27:29.994 INFO kablam! su: No module specific data is present
Nov 09 20:27:33.627 INFO running `"docker" "rm" "-f" "96dd05971c0b628ab8d63409e27d7b30b79af66934d6f3a2b1285714c37aca20"`
Nov 09 20:27:33.703 INFO blam! 96dd05971c0b628ab8d63409e27d7b30b79af66934d6f3a2b1285714c37aca20