Dec 02 05:42:44.633 INFO testing MaiaVictor/formality against 1.30.1 for beta-1.31-5
Dec 02 05:42:44.634 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-2/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/beta-1.31-5/1.30.1:/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 +1.30.1 build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 05:42:44.888 INFO [stdout] d132ba48bcfd5f07aaf2192afdd8cb35c34ca37da6fd3f63621d313938e7e5f8
Dec 02 05:42:44.890 INFO running `"docker" "start" "-a" "d132ba48bcfd5f07aaf2192afdd8cb35c34ca37da6fd3f63621d313938e7e5f8"`
Dec 02 05:42:45.261 INFO [stderr] usermod: no changes
Dec 02 05:42:45.308 INFO [stderr]    Compiling symmetric-interaction-calculus v0.1.8
Dec 02 05:42:46.666 INFO [stderr]    Compiling formality v0.1.10 (/source)
Dec 02 05:42:53.176 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 7.90s
Dec 02 05:42:53.180 INFO [stderr] su: No module specific data is present
Dec 02 05:42:53.564 INFO running `"docker" "inspect" "d132ba48bcfd5f07aaf2192afdd8cb35c34ca37da6fd3f63621d313938e7e5f8"`
Dec 02 05:42:53.668 INFO running `"docker" "rm" "-f" "d132ba48bcfd5f07aaf2192afdd8cb35c34ca37da6fd3f63621d313938e7e5f8"`
Dec 02 05:42:53.759 INFO [stdout] d132ba48bcfd5f07aaf2192afdd8cb35c34ca37da6fd3f63621d313938e7e5f8
Dec 02 05:42:53.761 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-2/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/beta-1.31-5/1.30.1:/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 +1.30.1 test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 05:42:54.076 INFO [stdout] d7e1d829c5ca2a6bda6791e21521816ff04c788e8bc0bf96624e46415306adf5
Dec 02 05:42:54.078 INFO running `"docker" "start" "-a" "d7e1d829c5ca2a6bda6791e21521816ff04c788e8bc0bf96624e46415306adf5"`
Dec 02 05:42:54.526 INFO [stderr] usermod: no changes
Dec 02 05:42:54.563 INFO [stderr]    Compiling formality v0.1.10 (/source)
Dec 02 05:42:57.231 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2.68s
Dec 02 05:42:57.231 INFO [stderr] su: No module specific data is present
Dec 02 05:42:57.524 INFO running `"docker" "inspect" "d7e1d829c5ca2a6bda6791e21521816ff04c788e8bc0bf96624e46415306adf5"`
Dec 02 05:42:57.710 INFO running `"docker" "rm" "-f" "d7e1d829c5ca2a6bda6791e21521816ff04c788e8bc0bf96624e46415306adf5"`
Dec 02 05:42:57.971 INFO [stdout] d7e1d829c5ca2a6bda6791e21521816ff04c788e8bc0bf96624e46415306adf5
Dec 02 05:42:57.973 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-2/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/beta-1.31-5/1.30.1:/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 +1.30.1 test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 05:42:58.346 INFO [stdout] 3aa75df17ba10afcf6569ca64964cee92dec85e58f39138bc0e1d26509ee0797
Dec 02 05:42:58.348 INFO running `"docker" "start" "-a" "3aa75df17ba10afcf6569ca64964cee92dec85e58f39138bc0e1d26509ee0797"`
Dec 02 05:42:59.522 INFO [stderr] usermod: no changes
Dec 02 05:42:59.639 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.07s
Dec 02 05:42:59.652 INFO [stderr]      Running /target/debug/deps/formality-aa8bb0ea98474431
Dec 02 05:42:59.653 INFO [stdout] 
Dec 02 05:42:59.653 INFO [stdout] running 0 tests
Dec 02 05:42:59.653 INFO [stdout] 
Dec 02 05:42:59.653 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 02 05:42:59.653 INFO [stdout] 
Dec 02 05:42:59.659 INFO [stderr]      Running /target/debug/deps/formality-a12d14c8bfa7568f
Dec 02 05:42:59.662 INFO [stdout] 
Dec 02 05:42:59.662 INFO [stdout] running 0 tests
Dec 02 05:42:59.662 INFO [stdout] 
Dec 02 05:42:59.662 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 02 05:42:59.662 INFO [stdout] 
Dec 02 05:42:59.667 INFO [stderr]    Doc-tests formality
Dec 02 05:43:00.492 INFO [stdout] 
Dec 02 05:43:00.492 INFO [stdout] running 0 tests
Dec 02 05:43:00.492 INFO [stdout] 
Dec 02 05:43:00.492 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 02 05:43:00.492 INFO [stdout] 
Dec 02 05:43:00.503 INFO [stderr] su: No module specific data is present
Dec 02 05:43:00.786 INFO running `"docker" "inspect" "3aa75df17ba10afcf6569ca64964cee92dec85e58f39138bc0e1d26509ee0797"`
Dec 02 05:43:00.998 INFO running `"docker" "rm" "-f" "3aa75df17ba10afcf6569ca64964cee92dec85e58f39138bc0e1d26509ee0797"`
Dec 02 05:43:01.156 INFO [stdout] 3aa75df17ba10afcf6569ca64964cee92dec85e58f39138bc0e1d26509ee0797
