Sep 19 15:19:20.536 INFO checking z3-0.2.0 against try#fcacde07b66fe513e52c41b73aef91bcc121905b for pr-54346 Sep 19 15:19:20.536 INFO running: cargo +fcacde07b66fe513e52c41b73aef91bcc121905b-alt check --frozen --all --all-targets Sep 19 15:19:20.536 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-3/pr-54346/try#fcacde07b66fe513e52c41b73aef91bcc121905b:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54346/worker-3/try#fcacde07b66fe513e52c41b73aef91bcc121905b:/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 +fcacde07b66fe513e52c41b73aef91bcc121905b-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "crater"` Sep 19 15:19:20.692 INFO blam! 8e092299b7475d010b53a870265f8e542398dc7b3b42aca19dec722926cb1b45 Sep 19 15:19:20.694 INFO running `"docker" "start" "-a" "8e092299b7475d010b53a870265f8e542398dc7b3b42aca19dec722926cb1b45"` Sep 19 15:19:21.482 INFO kablam! usermod: no changes Sep 19 15:19:21.545 INFO kablam! Checking va_list v0.0.1 Sep 19 15:19:21.546 INFO kablam! Checking env_logger v0.3.5 Sep 19 15:19:21.751 INFO kablam! Checking z3-sys v0.1.0 Sep 19 15:19:22.011 INFO kablam! Checking z3 v0.2.0 (/source) Sep 19 15:19:22.897 INFO kablam! warning: variable does not need to be mutable Sep 19 15:19:22.897 INFO kablam! --> tests/semver_tests.rs:158:9 Sep 19 15:19:22.897 INFO kablam! | Sep 19 15:19:22.897 INFO kablam! 158 | let mut cfg = Config::new(); Sep 19 15:19:22.897 INFO kablam! | ----^^^ Sep 19 15:19:22.897 INFO kablam! | | Sep 19 15:19:22.897 INFO kablam! | help: remove this `mut` Sep 19 15:19:22.897 INFO kablam! | Sep 19 15:19:22.897 INFO kablam! = note: #[warn(unused_mut)] on by default Sep 19 15:19:22.897 INFO kablam! Sep 19 15:19:22.915 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 1.42s Sep 19 15:19:22.919 INFO kablam! su: No module specific data is present Sep 19 15:19:23.552 INFO running `"docker" "rm" "-f" "8e092299b7475d010b53a870265f8e542398dc7b3b42aca19dec722926cb1b45"` Sep 19 15:19:23.635 INFO blam! 8e092299b7475d010b53a870265f8e542398dc7b3b42aca19dec722926cb1b45