Sep 17 15:15:04.590 INFO checking vikos-0.1.8 against master#cb6d2dfa8923902b0992a1522dc4a45a9d3ba690 for pr-54033 Sep 17 15:15:04.590 INFO running: cargo +cb6d2dfa8923902b0992a1522dc4a45a9d3ba690-alt check --frozen --all --all-targets Sep 17 15:15:04.590 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-1/pr-54033/master#cb6d2dfa8923902b0992a1522dc4a45a9d3ba690:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54033/worker-1/master#cb6d2dfa8923902b0992a1522dc4a45a9d3ba690:/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 +cb6d2dfa8923902b0992a1522dc4a45a9d3ba690-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "crater"` Sep 17 15:15:04.730 INFO blam! c86dc0055f84e24a7814efe54674a68f1de91ff783664e54506d062d55bc9a7d Sep 17 15:15:04.731 INFO running `"docker" "start" "-a" "c86dc0055f84e24a7814efe54674a68f1de91ff783664e54506d062d55bc9a7d"` Sep 17 15:15:05.357 INFO kablam! usermod: no changes Sep 17 15:15:05.438 INFO kablam! Checking num-complex v0.1.43 Sep 17 15:15:05.438 INFO kablam! Checking num-bigint v0.1.44 Sep 17 15:15:07.375 INFO kablam! Checking num-rational v0.1.42 Sep 17 15:15:08.055 INFO kablam! Checking num v0.1.42 Sep 17 15:15:08.400 INFO kablam! Checking vikos v0.1.8 (/source) Sep 17 15:15:11.085 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 5.71s Sep 17 15:15:11.091 INFO kablam! su: No module specific data is present Sep 17 15:15:12.104 INFO running `"docker" "rm" "-f" "c86dc0055f84e24a7814efe54674a68f1de91ff783664e54506d062d55bc9a7d"` Sep 17 15:15:12.334 INFO blam! c86dc0055f84e24a7814efe54674a68f1de91ff783664e54506d062d55bc9a7d