Sep 06 05:40:56.621 INFO checking hacl-star-0.0.12 against try#51ff957df5095d92d1d3d4682207ee8b7ad408a8 for pr-53854
Sep 06 05:40:56.621 INFO running: cargo +51ff957df5095d92d1d3d4682207ee8b7ad408a8-alt check --frozen --all --all-targets
Sep 06 05:40:56.621 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-1/pr-53854/try#51ff957df5095d92d1d3d4682207ee8b7ad408a8:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53854/worker-1/try#51ff957df5095d92d1d3d4682207ee8b7ad408a8:/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 +51ff957df5095d92d1d3d4682207ee8b7ad408a8-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"`
Sep 06 05:40:56.763 INFO blam! 747bac971d04ccf259e6dfec882f2a4fd69bf0a7a2084acca4ba6df20b819ecb
Sep 06 05:40:56.765 INFO running `"docker" "start" "-a" "747bac971d04ccf259e6dfec882f2a4fd69bf0a7a2084acca4ba6df20b819ecb"`
Sep 06 05:40:57.552 INFO kablam! usermod: no changes
Sep 06 05:40:57.622 INFO kablam!    Compiling hacl-star-sys v0.0.6
Sep 06 05:40:59.699 INFO kablam!     Checking hacl-star v0.0.12 (file:///source)
Sep 06 05:41:01.510 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 3.94s
Sep 06 05:41:01.516 INFO kablam! su: No module specific data is present
Sep 06 05:41:02.208 INFO running `"docker" "rm" "-f" "747bac971d04ccf259e6dfec882f2a4fd69bf0a7a2084acca4ba6df20b819ecb"`
Sep 06 05:41:02.261 INFO blam! 747bac971d04ccf259e6dfec882f2a4fd69bf0a7a2084acca4ba6df20b819ecb