Jul 11 16:46:50.521 INFO checking z3-sys-0.1.0 against try#d39a6f7eddafd45dcc60e99001b8cd08c2bd3255 for pr-52234 Jul 11 16:46:50.521 INFO running: cargo +d39a6f7eddafd45dcc60e99001b8cd08c2bd3255-alt check --frozen --all --all-targets Jul 11 16:46:50.521 INFO creating container for: cargo +d39a6f7eddafd45dcc60e99001b8cd08c2bd3255-alt check --frozen --all --all-targets Jul 11 16:46:50.521 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-1/pr-52234/try#d39a6f7eddafd45dcc60e99001b8cd08c2bd3255:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-52234/worker-1/try#d39a6f7eddafd45dcc60e99001b8cd08c2bd3255:/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 +d39a6f7eddafd45dcc60e99001b8cd08c2bd3255-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "crater"` Jul 11 16:46:50.808 INFO blam! a94535f765ab6a83984662c9a9f4650794d7031c0969add7fe865b064cc03c77 Jul 11 16:46:50.809 INFO running `"docker" "start" "-a" "a94535f765ab6a83984662c9a9f4650794d7031c0969add7fe865b064cc03c77"` Jul 11 16:46:51.887 INFO kablam! Checking va_list v0.0.1 Jul 11 16:46:52.502 INFO kablam! Checking z3-sys v0.1.0 (file:///source) Jul 11 16:46:54.262 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 2.43s Jul 11 16:46:54.270 INFO kablam! su: No module specific data is present Jul 11 16:46:54.895 INFO running `"docker" "rm" "-f" "a94535f765ab6a83984662c9a9f4650794d7031c0969add7fe865b064cc03c77"` Jul 11 16:46:55.048 INFO blam! a94535f765ab6a83984662c9a9f4650794d7031c0969add7fe865b064cc03c77