Sep 17 23:16:19.033 INFO checking hacl-star-0.0.12 against try#cfeeefe83c83bceb55d60d7e2be173db7597ed50 for pr-54033
Sep 17 23:16:19.033 INFO running: cargo +cfeeefe83c83bceb55d60d7e2be173db7597ed50-alt check --frozen --all --all-targets
Sep 17 23:16:19.033 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-1/pr-54033/try#cfeeefe83c83bceb55d60d7e2be173db7597ed50:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54033/worker-1/try#cfeeefe83c83bceb55d60d7e2be173db7597ed50:/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 +cfeeefe83c83bceb55d60d7e2be173db7597ed50-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "crater"`
Sep 17 23:16:19.179 INFO blam! dd43c525f53b784dbbbc96ce14aaf8658049ca0c64870c8e35aadc5c41bd9c58
Sep 17 23:16:19.181 INFO running `"docker" "start" "-a" "dd43c525f53b784dbbbc96ce14aaf8658049ca0c64870c8e35aadc5c41bd9c58"`
Sep 17 23:16:19.733 INFO kablam! usermod: no changes
Sep 17 23:16:19.809 INFO kablam!    Compiling hacl-star-sys v0.0.6
Sep 17 23:16:22.155 INFO kablam!     Checking hacl-star v0.0.12 (/source)
Sep 17 23:16:23.943 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 4.19s
Sep 17 23:16:23.951 INFO kablam! su: No module specific data is present
Sep 17 23:16:24.713 INFO running `"docker" "rm" "-f" "dd43c525f53b784dbbbc96ce14aaf8658049ca0c64870c8e35aadc5c41bd9c58"`
Sep 17 23:16:24.781 INFO blam! dd43c525f53b784dbbbc96ce14aaf8658049ca0c64870c8e35aadc5c41bd9c58