Sep 06 08:19:03.583 INFO checking cryptominisat-5.6.3 against master#1c2e17f4e3a2070a7f703f51e29c1c388ef703b6 for pr-53854
Sep 06 08:19:03.583 INFO running: cargo +1c2e17f4e3a2070a7f703f51e29c1c388ef703b6-alt check --frozen --all --all-targets
Sep 06 08:19:03.583 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-6/pr-53854/master#1c2e17f4e3a2070a7f703f51e29c1c388ef703b6:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53854/worker-6/master#1c2e17f4e3a2070a7f703f51e29c1c388ef703b6:/target:rw,Z" "-v" "/home/ec2-user/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/home/ec2-user/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "CMD=cargo +1c2e17f4e3a2070a7f703f51e29c1c388ef703b6-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"`
Sep 06 08:19:03.790 INFO blam! e40bdfd13822385b0b20f41527bf32433378e69f9fff4bb896045086454dbfc8
Sep 06 08:19:03.792 INFO running `"docker" "start" "-a" "e40bdfd13822385b0b20f41527bf32433378e69f9fff4bb896045086454dbfc8"`
Sep 06 08:19:04.494 INFO kablam! usermod: no changes
Sep 06 08:19:04.542 INFO kablam!    Compiling cryptominisat v5.6.3 (file:///source)
Sep 06 08:19:49.979 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 45.45s
Sep 06 08:19:49.982 INFO kablam! su: No module specific data is present
Sep 06 08:19:51.085 INFO running `"docker" "rm" "-f" "e40bdfd13822385b0b20f41527bf32433378e69f9fff4bb896045086454dbfc8"`
Sep 06 08:19:51.209 INFO blam! e40bdfd13822385b0b20f41527bf32433378e69f9fff4bb896045086454dbfc8