Aug 02 12:04:08.544 INFO checking cryptominisat-5.0.1 against 1.27.2+tmplazy for lazy_static-1
Aug 02 12:04:08.544 INFO running: cargo +1.27.2 check --frozen --all --all-targets
Aug 02 12:04:08.544 INFO creating container for: cargo +1.27.2 check --frozen --all --all-targets
Aug 02 12:04:08.544 INFO running `"docker" "create" "-v" "/tmp/crater.JA5517VWXY1K:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/lazy_static-1/worker-3/1.27.2+tmplazy:/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" "-v" "/home/ec2-user/crater/./work/local/cargo-home/git:/cargo-home/git:rw,Z" "-e" "USER_ID=500" "-e" "CMD=cargo +1.27.2 check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "crater"`
Aug 02 12:04:08.710 INFO blam! 47326e05703e2092b37ceeabee752c448dadafbc86480a898d4e50eadf3e0063
Aug 02 12:04:08.713 INFO running `"docker" "start" "-a" "47326e05703e2092b37ceeabee752c448dadafbc86480a898d4e50eadf3e0063"`
Aug 02 12:04:10.211 INFO kablam!    Compiling cryptominisat v5.0.1 (file:///source)
Aug 02 12:05:31.590 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 1m 21.40s
Aug 02 12:05:31.598 INFO kablam! su: No module specific data is present
Aug 02 12:05:32.178 INFO running `"docker" "rm" "-f" "47326e05703e2092b37ceeabee752c448dadafbc86480a898d4e50eadf3e0063"`
Aug 02 12:05:32.295 INFO blam! 47326e05703e2092b37ceeabee752c448dadafbc86480a898d4e50eadf3e0063