Nov 28 12:02:24.038 INFO documenting minisat-0.3.0 against try#f5a0bd723553ea4b7556bd7087b9f0919cafb483 for pr-55318
Nov 28 12:02:24.039 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55318/worker-6/try#f5a0bd723553ea4b7556bd7087b9f0919cafb483:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-55318/try#f5a0bd723553ea4b7556bd7087b9f0919cafb483:/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 +f5a0bd723553ea4b7556bd7087b9f0919cafb483-alt doc --frozen --no-deps --document-private-items" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 28 12:02:24.274 INFO [stdout] cd77c1852ae93bda9f0ac95e3e6fa7c3b3fc500446abfb1bbec1966298d42657
Nov 28 12:02:24.276 INFO running `"docker" "start" "-a" "cd77c1852ae93bda9f0ac95e3e6fa7c3b3fc500446abfb1bbec1966298d42657"`
Nov 28 12:02:24.755 INFO [stderr] usermod: no changes
Nov 28 12:02:24.922 INFO [stderr]    Compiling bindgen v0.42.3
Nov 28 12:02:24.923 INFO [stderr]    Compiling clang-sys v0.26.3
Nov 28 12:02:24.924 INFO [stderr]    Compiling nom v4.1.1
Nov 28 12:02:30.494 INFO [stderr]    Compiling cexpr v0.3.3
Nov 28 12:02:55.704 INFO [stderr]    Compiling minisat v0.3.0 (/source)
Nov 28 12:03:02.921 INFO [stderr]  Documenting minisat v0.3.0 (/source)
Nov 28 12:03:04.674 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 39.89s
Nov 28 12:03:04.684 INFO [stderr] su: No module specific data is present
Nov 28 12:03:04.982 INFO running `"docker" "inspect" "cd77c1852ae93bda9f0ac95e3e6fa7c3b3fc500446abfb1bbec1966298d42657"`
Nov 28 12:03:05.127 INFO running `"docker" "rm" "-f" "cd77c1852ae93bda9f0ac95e3e6fa7c3b3fc500446abfb1bbec1966298d42657"`
Nov 28 12:03:05.291 INFO [stdout] cd77c1852ae93bda9f0ac95e3e6fa7c3b3fc500446abfb1bbec1966298d42657