Sep 21 03:25:42.951 INFO checking seer-z3-0.1.2 against master#f7f4c500b46603386e940f116b469c7adc043a6d for pr-54394 Sep 21 03:25:42.951 INFO running: cargo +f7f4c500b46603386e940f116b469c7adc043a6d-alt check --frozen --all --all-targets Sep 21 03:25:42.951 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-5/pr-54394/master#f7f4c500b46603386e940f116b469c7adc043a6d:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54394/worker-5/master#f7f4c500b46603386e940f116b469c7adc043a6d:/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 +f7f4c500b46603386e940f116b469c7adc043a6d-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "crater"` Sep 21 03:25:43.099 INFO blam! a30e86a702ee8a93cb3e93b25448ee13b8eef3d61b37e2a365d137b2062ca56c Sep 21 03:25:43.101 INFO running `"docker" "start" "-a" "a30e86a702ee8a93cb3e93b25448ee13b8eef3d61b37e2a365d137b2062ca56c"` Sep 21 03:25:43.569 INFO kablam! usermod: no changes Sep 21 03:25:43.619 INFO kablam! Checking z3-sys v0.3.0 Sep 21 03:25:44.565 INFO kablam! Checking seer-z3 v0.1.2 (/source) Sep 21 03:25:45.901 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 2.31s Sep 21 03:25:45.905 INFO kablam! su: No module specific data is present Sep 21 03:25:46.401 INFO running `"docker" "rm" "-f" "a30e86a702ee8a93cb3e93b25448ee13b8eef3d61b37e2a365d137b2062ca56c"` Sep 21 03:25:46.511 INFO blam! a30e86a702ee8a93cb3e93b25448ee13b8eef3d61b37e2a365d137b2062ca56c