Sep 20 02:05:32.270 INFO checking hacl-star-0.0.12 against master#1e21c9a297a9fe668d62887a3a6a4add8e717b17 for pr-54352
Sep 20 02:05:32.270 INFO running: cargo +1e21c9a297a9fe668d62887a3a6a4add8e717b17-alt check --frozen --all --all-targets
Sep 20 02:05:32.270 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-1/pr-54352/master#1e21c9a297a9fe668d62887a3a6a4add8e717b17:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54352/worker-1/master#1e21c9a297a9fe668d62887a3a6a4add8e717b17:/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 +1e21c9a297a9fe668d62887a3a6a4add8e717b17-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.449 INFO blam! 6641440bbd85dede499450bea6fd357aafa4e7058996d8a088b97d71acf8862e
Sep 20 02:05:32.451 INFO running `"docker" "start" "-a" "6641440bbd85dede499450bea6fd357aafa4e7058996d8a088b97d71acf8862e"`
Sep 20 02:05:33.257 INFO kablam! usermod: no changes
Sep 20 02:05:33.327 INFO kablam!    Compiling hacl-star-sys v0.0.6
Sep 20 02:05:35.532 INFO kablam!     Checking hacl-star v0.0.12 (/source)
Sep 20 02:05:38.339 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 5.07s
Sep 20 02:05:38.367 INFO kablam! su: No module specific data is present
Sep 20 02:05:39.286 INFO running `"docker" "rm" "-f" "6641440bbd85dede499450bea6fd357aafa4e7058996d8a088b97d71acf8862e"`
Sep 20 02:05:39.413 INFO blam! 6641440bbd85dede499450bea6fd357aafa4e7058996d8a088b97d71acf8862e