Aug 31 18:09:32.702 INFO checking proquint-0.1.0 against try#a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b for pr-53578 Aug 31 18:09:32.702 INFO running: cargo +a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b-alt check --frozen --all --all-targets Aug 31 18:09:32.702 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-3/pr-53578/try#a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53578/worker-3/try#a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b:/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=500" "-e" "CMD=cargo +a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Aug 31 18:09:32.893 INFO blam! dbfb950dd04586e9731ecafa48de28190d8e99009bd1666d92ce3672e43e5482 Aug 31 18:09:32.895 INFO running `"docker" "start" "-a" "dbfb950dd04586e9731ecafa48de28190d8e99009bd1666d92ce3672e43e5482"` Aug 31 18:09:33.456 INFO kablam! Checking proquint v0.1.0 (file:///source) Aug 31 18:09:34.199 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 0.75s Aug 31 18:09:34.202 INFO kablam! su: No module specific data is present Aug 31 18:09:34.551 INFO running `"docker" "rm" "-f" "dbfb950dd04586e9731ecafa48de28190d8e99009bd1666d92ce3672e43e5482"` Aug 31 18:09:34.646 INFO blam! dbfb950dd04586e9731ecafa48de28190d8e99009bd1666d92ce3672e43e5482