Nov 28 07:37:09.045 INFO documenting varisat-0.1.3 against master#6bfb46e4ac9a2704f06de1a2ff7a4612cd70c8cb for pr-55318
Nov 28 07:37:09.045 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55318/worker-6/master#6bfb46e4ac9a2704f06de1a2ff7a4612cd70c8cb:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-55318/master#6bfb46e4ac9a2704f06de1a2ff7a4612cd70c8cb:/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 +6bfb46e4ac9a2704f06de1a2ff7a4612cd70c8cb-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 07:37:09.531 INFO [stdout] 6b282287951c601a0a87cbb9a7eb0e501ba668ec2f781915369adaaf095a6d94
Nov 28 07:37:09.533 INFO running `"docker" "start" "-a" "6b282287951c601a0a87cbb9a7eb0e501ba668ec2f781915369adaaf095a6d94"`
Nov 28 07:37:11.334 INFO [stderr] usermod: no changes
Nov 28 07:37:11.499 INFO [stderr]     Checking noisy_float v0.1.8
Nov 28 07:37:12.148 INFO [stderr]  Documenting varisat v0.1.3 (/source)
Nov 28 07:37:12.787 INFO [stderr] error[E0433]: failed to resolve: use of undeclared type or module `alloc`
Nov 28 07:37:12.787 INFO [stderr]  --> src/clause/alloc.rs:1:5
Nov 28 07:37:12.787 INFO [stderr]   |
Nov 28 07:37:12.787 INFO [stderr] 1 | use alloc::raw_vec::RawVec;
Nov 28 07:37:12.787 INFO [stderr]   |     ^^^^^ use of undeclared type or module `alloc`
Nov 28 07:37:12.787 INFO [stderr] 
Nov 28 07:37:12.959 INFO [stderr] error[E0412]: cannot find type `RawVec` in this scope
Nov 28 07:37:12.959 INFO [stderr]   --> src/clause/alloc.rs:17:13
Nov 28 07:37:12.959 INFO [stderr]    |
Nov 28 07:37:12.959 INFO [stderr] 17 |     buffer: RawVec<Lit>,
Nov 28 07:37:12.959 INFO [stderr]    |             ^^^^^^ not found in this scope
Nov 28 07:37:12.959 INFO [stderr] 
Nov 28 07:37:13.094 INFO [stderr] error: Compilation failed, aborting rustdoc
Nov 28 07:37:13.094 INFO [stderr] 
Nov 28 07:37:13.127 INFO [stderr] error: Could not document `varisat`.
Nov 28 07:37:13.127 INFO [stderr] 
Nov 28 07:37:13.127 INFO [stderr] Caused by:
Nov 28 07:37:13.127 INFO [stderr]   process didn't exit successfully: `rustdoc --edition=2018 --crate-name varisat src/lib.rs --color never -o /target/doc --document-private-items -L dependency=/target/debug/deps --extern failure=/target/debug/deps/libfailure-faf069e9618e07fc.rmeta --extern failure_derive=/target/debug/deps/libfailure_derive-01f35a53d911e9d1.so --extern fxhash=/target/debug/deps/libfxhash-0c03d87b98bf926a.rmeta --extern itoa=/target/debug/deps/libitoa-cc4740b5278991b9.rmeta --extern log=/target/debug/deps/liblog-953ffb2fc01a9f8f.rmeta --extern noisy_float=/target/debug/deps/libnoisy_float-794408cdc7f357f4.rmeta --cap-lints=forbid` (exit code: 1)
Nov 28 07:37:13.127 INFO [stderr] su: No module specific data is present
Nov 28 07:37:13.481 INFO running `"docker" "inspect" "6b282287951c601a0a87cbb9a7eb0e501ba668ec2f781915369adaaf095a6d94"`
Nov 28 07:37:13.761 INFO running `"docker" "rm" "-f" "6b282287951c601a0a87cbb9a7eb0e501ba668ec2f781915369adaaf095a6d94"`
Nov 28 07:37:14.055 INFO [stdout] 6b282287951c601a0a87cbb9a7eb0e501ba668ec2f781915369adaaf095a6d94