Oct 13 05:08:17.878 INFO checking Dacit/sequent_prover against master#5af0bb83044c3fb43d59ad5f49ee5ae1a293901f for pr-54977
Oct 13 05:08:17.878 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/pr-54977/worker-1/master#5af0bb83044c3fb43d59ad5f49ee5ae1a293901f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/pr-54977/master#5af0bb83044c3fb43d59ad5f49ee5ae1a293901f:/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 +5af0bb83044c3fb43d59ad5f49ee5ae1a293901f-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"`
Oct 13 05:08:18.542 INFO blam! f6430efcebcce0cc907216aca2a7fcfc569cc97d33f04dd6b90bc3c7e18aa73b
Oct 13 05:08:18.544 INFO running `"docker" "start" "-a" "f6430efcebcce0cc907216aca2a7fcfc569cc97d33f04dd6b90bc3c7e18aa73b"`
Oct 13 05:08:18.994 INFO kablam! usermod: no changes
Oct 13 05:08:19.045 INFO kablam!     Checking terminal_size v0.1.7
Oct 13 05:08:19.466 INFO kablam!     Checking sequent_prover v0.1.0 (/source)
Oct 13 05:08:20.291 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 1.27s
Oct 13 05:08:20.306 INFO kablam! su: No module specific data is present
Oct 13 05:08:20.704 INFO running `"docker" "rm" "-f" "f6430efcebcce0cc907216aca2a7fcfc569cc97d33f04dd6b90bc3c7e18aa73b"`
Oct 13 05:08:20.814 INFO blam! f6430efcebcce0cc907216aca2a7fcfc569cc97d33f04dd6b90bc3c7e18aa73b