Sep 20 02:05:31.950 INFO checking hacl-star-0.0.12 against try#135b4cd023a753409d01e43b0f23d22a899feeeb for pr-54352
Sep 20 02:05:31.950 INFO running: cargo +135b4cd023a753409d01e43b0f23d22a899feeeb-alt check --frozen --all --all-targets
Sep 20 02:05:31.950 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-4/pr-54352/try#135b4cd023a753409d01e43b0f23d22a899feeeb:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54352/worker-4/try#135b4cd023a753409d01e43b0f23d22a899feeeb:/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 +135b4cd023a753409d01e43b0f23d22a899feeeb-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "crater"`
Sep 20 02:05:32.140 INFO blam! e379cb8af94a92f735def10a0754c87050a10c30adf6e13e055f20cee5abf4b7
Sep 20 02:05:32.142 INFO running `"docker" "start" "-a" "e379cb8af94a92f735def10a0754c87050a10c30adf6e13e055f20cee5abf4b7"`
Sep 20 02:05:33.182 INFO kablam! usermod: no changes
Sep 20 02:05:33.256 INFO kablam!    Compiling hacl-star-sys v0.0.6
Sep 20 02:05:35.521 INFO kablam!     Checking hacl-star v0.0.12 (/source)
Sep 20 02:05:38.229 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 5.03s
Sep 20 02:05:38.238 INFO kablam! su: No module specific data is present
Sep 20 02:05:39.251 INFO running `"docker" "rm" "-f" "e379cb8af94a92f735def10a0754c87050a10c30adf6e13e055f20cee5abf4b7"`
Sep 20 02:05:39.370 INFO blam! e379cb8af94a92f735def10a0754c87050a10c30adf6e13e055f20cee5abf4b7