Dec 01 07:44:35.685 INFO testing nelsonjchen/tla_plus_lecture_description against 1.30.1 for beta-1.31-5
Dec 01 07:44:35.687 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-4/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/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 01 07:44:36.085 INFO [stdout] e284f25ea585540a7d01082e3a90fb945b5d172301adf2df0a2c79b6a282f0b2
Dec 01 07:44:36.089 INFO running `"docker" "start" "-a" "e284f25ea585540a7d01082e3a90fb945b5d172301adf2df0a2c79b6a282f0b2"`
Dec 01 07:44:37.559 INFO [stderr] usermod: no changes
Dec 01 07:44:37.655 INFO [stderr]    Compiling tla_plus_lecture_description v0.1.0 (/source)
Dec 01 07:44:38.795 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.21s
Dec 01 07:44:38.795 INFO [stderr] su: No module specific data is present
Dec 01 07:44:39.511 INFO running `"docker" "inspect" "e284f25ea585540a7d01082e3a90fb945b5d172301adf2df0a2c79b6a282f0b2"`
Dec 01 07:44:39.759 INFO running `"docker" "rm" "-f" "e284f25ea585540a7d01082e3a90fb945b5d172301adf2df0a2c79b6a282f0b2"`
Dec 01 07:44:40.119 INFO [stdout] e284f25ea585540a7d01082e3a90fb945b5d172301adf2df0a2c79b6a282f0b2
Dec 01 07:44:40.123 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-4/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/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 01 07:44:40.646 INFO [stdout] fb536f7200a1631acbf405bdfef13aa4cfd415541b223397243f9d77304adb64
Dec 01 07:44:40.649 INFO running `"docker" "start" "-a" "fb536f7200a1631acbf405bdfef13aa4cfd415541b223397243f9d77304adb64"`
Dec 01 07:44:42.599 INFO [stderr] usermod: no changes
Dec 01 07:44:42.660 INFO [stderr]    Compiling tla_plus_lecture_description v0.1.0 (/source)
Dec 01 07:44:43.689 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.06s
Dec 01 07:44:43.692 INFO [stderr] su: No module specific data is present
Dec 01 07:44:56.602 INFO running `"docker" "inspect" "fb536f7200a1631acbf405bdfef13aa4cfd415541b223397243f9d77304adb64"`
Dec 01 07:44:56.997 INFO running `"docker" "rm" "-f" "fb536f7200a1631acbf405bdfef13aa4cfd415541b223397243f9d77304adb64"`
Dec 01 07:44:57.480 INFO [stdout] fb536f7200a1631acbf405bdfef13aa4cfd415541b223397243f9d77304adb64
Dec 01 07:44:57.486 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-4/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/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 01 07:45:08.816 INFO [stdout] ebb86f380f7231622f063ce9edc5d26952c00b157e7c5ecfd43d98bcf32684c8
Dec 01 07:45:08.831 INFO running `"docker" "start" "-a" "ebb86f380f7231622f063ce9edc5d26952c00b157e7c5ecfd43d98bcf32684c8"`
Dec 01 07:45:09.422 INFO [stderr] usermod: no changes
Dec 01 07:45:09.447 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Dec 01 07:45:09.451 INFO [stderr]      Running /target/debug/deps/tla_plus_lecture_description-801ea6074a0439e1
Dec 01 07:45:09.453 INFO [stdout] 
Dec 01 07:45:09.453 INFO [stdout] running 0 tests
Dec 01 07:45:09.453 INFO [stdout] 
Dec 01 07:45:09.453 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 01 07:45:09.453 INFO [stdout] 
Dec 01 07:45:09.455 INFO [stderr] su: No module specific data is present
Dec 01 07:45:18.517 INFO running `"docker" "inspect" "ebb86f380f7231622f063ce9edc5d26952c00b157e7c5ecfd43d98bcf32684c8"`
Dec 01 07:45:18.658 INFO running `"docker" "rm" "-f" "ebb86f380f7231622f063ce9edc5d26952c00b157e7c5ecfd43d98bcf32684c8"`
Dec 01 07:45:18.924 INFO [stdout] ebb86f380f7231622f063ce9edc5d26952c00b157e7c5ecfd43d98bcf32684c8
