Dec 02 05:35:43.625 INFO documenting model-0.1.0 against try#f86f76f89ea2b1ccbfb3741962ec2029d878a389 for pr-55318-1
Dec 02 05:35:43.625 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55318-1/worker-6/try#f86f76f89ea2b1ccbfb3741962ec2029d878a389:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-55318-1/try#f86f76f89ea2b1ccbfb3741962ec2029d878a389:/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 +f86f76f89ea2b1ccbfb3741962ec2029d878a389-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"`
Dec 02 05:35:43.847 INFO [stdout] bdfbf21006cbcb93acfab97a6892e8b18ae3318f72d04f9a24b68b6afdea5d8f
Dec 02 05:35:43.850 INFO running `"docker" "start" "-a" "bdfbf21006cbcb93acfab97a6892e8b18ae3318f72d04f9a24b68b6afdea5d8f"`
Dec 02 05:35:44.316 INFO [stderr] usermod: no changes
Dec 02 05:35:44.430 INFO [stderr]     Checking permutohedron v0.2.4
Dec 02 05:35:44.433 INFO [stderr]     Checking wait-timeout v0.1.5
Dec 02 05:35:44.435 INFO [stderr]     Checking rand v0.5.5
Dec 02 05:35:45.005 INFO [stderr]     Checking rusty-fork v0.2.1
Dec 02 05:35:47.121 INFO [stderr]     Checking proptest v0.8.7
Dec 02 05:35:55.152 INFO [stderr]  Documenting model v0.1.0 (/source)
Dec 02 05:35:57.745 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 13.39s
Dec 02 05:35:57.751 INFO [stderr] su: No module specific data is present
Dec 02 05:35:58.070 INFO running `"docker" "inspect" "bdfbf21006cbcb93acfab97a6892e8b18ae3318f72d04f9a24b68b6afdea5d8f"`
Dec 02 05:35:58.195 INFO running `"docker" "rm" "-f" "bdfbf21006cbcb93acfab97a6892e8b18ae3318f72d04f9a24b68b6afdea5d8f"`
Dec 02 05:35:58.321 INFO [stdout] bdfbf21006cbcb93acfab97a6892e8b18ae3318f72d04f9a24b68b6afdea5d8f