Dec 18 07:56:20.776 INFO checking Diapolo10/sudoku against master#96d1334e567237b1507cd277938e7ae2de75ff51 for pr-54252
Dec 18 07:56:20.777 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-54252/worker-7/master#96d1334e567237b1507cd277938e7ae2de75ff51:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-54252/sources/master#96d1334e567237b1507cd277938e7ae2de75ff51/gh/Diapolo10/sudoku:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+96d1334e567237b1507cd277938e7ae2de75ff51-alt" "check" "--frozen" "--all" "--all-targets"`
Dec 18 07:56:21.030 INFO [stdout] 00e230345c8505a6c8cf000a35a9f970ae7796ce7f3edb967377a3a82c213f08
Dec 18 07:56:21.031 INFO running `"docker" "start" "-a" "00e230345c8505a6c8cf000a35a9f970ae7796ce7f3edb967377a3a82c213f08"`
Dec 18 07:56:21.980 INFO [stderr]     Checking x11-dl v2.15.0
Dec 18 07:56:21.995 INFO [stderr]     Checking piston2d-opengl_graphics v0.46.0
Dec 18 07:56:24.909 INFO [stderr]     Checking winit v0.7.5
Dec 18 07:56:26.459 INFO [stderr]     Checking glutin v0.9.2
Dec 18 07:56:27.629 INFO [stderr]     Checking pistoncore-glutin_window v0.38.0
Dec 18 07:56:28.276 INFO [stderr]     Checking sudoku v0.1.0 (/opt/crater/workdir)
Dec 18 07:56:29.156 INFO [stderr] warning: doc comment not used by rustdoc
Dec 18 07:56:29.156 INFO [stderr]    --> src/gameboard_view.rs:105:9
Dec 18 07:56:29.156 INFO [stderr]     |
Dec 18 07:56:29.156 INFO [stderr] 105 |         /// Draw characters.
Dec 18 07:56:29.156 INFO [stderr]     |         ^^^^^^^^^^^^^^^^^^^^
Dec 18 07:56:29.156 INFO [stderr]     |
Dec 18 07:56:29.156 INFO [stderr]     = note: #[warn(unused_doc_comments)] on by default
Dec 18 07:56:29.156 INFO [stderr] 
Dec 18 07:56:29.324 INFO [stderr] warning: doc comment not used by rustdoc
Dec 18 07:56:29.324 INFO [stderr]    --> src/gameboard_view.rs:105:9
Dec 18 07:56:29.324 INFO [stderr]     |
Dec 18 07:56:29.324 INFO [stderr] 105 |         /// Draw characters.
Dec 18 07:56:29.324 INFO [stderr]     |         ^^^^^^^^^^^^^^^^^^^^
Dec 18 07:56:29.324 INFO [stderr]     |
Dec 18 07:56:29.324 INFO [stderr]     = note: #[warn(unused_doc_comments)] on by default
Dec 18 07:56:29.324 INFO [stderr] 
Dec 18 07:56:29.588 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 7.85s
Dec 18 07:56:30.763 INFO running `"docker" "inspect" "00e230345c8505a6c8cf000a35a9f970ae7796ce7f3edb967377a3a82c213f08"`
Dec 18 07:56:31.066 INFO running `"docker" "rm" "-f" "00e230345c8505a6c8cf000a35a9f970ae7796ce7f3edb967377a3a82c213f08"`
Dec 18 07:56:31.424 INFO [stdout] 00e230345c8505a6c8cf000a35a9f970ae7796ce7f3edb967377a3a82c213f08