Nov 30 21:23:59.054 INFO checking hacl-star-0.0.13 against try#32252761328f59ccfadb1bafb8148c685bc830b3 for pr-56323
Nov 30 21:23:59.054 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56323/worker-4/try#32252761328f59ccfadb1bafb8148c685bc830b3:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/pr-56323/try#32252761328f59ccfadb1bafb8148c685bc830b3:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +32252761328f59ccfadb1bafb8148c685bc830b3-alt check --frozen --all --all-targets" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 30 21:23:59.460 INFO [stdout] eae8f9dedea06b23912b3bdf34c9fc170b1ddc8b88495e080caf4b54e1719c94
Nov 30 21:23:59.468 INFO running `"docker" "start" "-a" "eae8f9dedea06b23912b3bdf34c9fc170b1ddc8b88495e080caf4b54e1719c94"`
Nov 30 21:24:00.836 INFO [stderr] usermod: no changes
Nov 30 21:24:00.926 INFO [stderr]    Compiling hacl-star-sys v0.0.7
Nov 30 21:24:03.809 INFO [stderr]     Checking hacl-star v0.0.13 (/source)
Nov 30 21:24:10.396 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 9.54s
Nov 30 21:24:10.404 INFO [stderr] su: No module specific data is present
Nov 30 21:24:10.802 INFO running `"docker" "inspect" "eae8f9dedea06b23912b3bdf34c9fc170b1ddc8b88495e080caf4b54e1719c94"`
Nov 30 21:24:10.954 INFO running `"docker" "rm" "-f" "eae8f9dedea06b23912b3bdf34c9fc170b1ddc8b88495e080caf4b54e1719c94"`
Nov 30 21:24:11.079 INFO [stdout] eae8f9dedea06b23912b3bdf34c9fc170b1ddc8b88495e080caf4b54e1719c94