Dec 05 12:59:17.401 INFO testing nelsonjchen/tla_plus_lecture_description against master#906deae0790bd18681b937fe9a141a3c26cf1855 for pr-56514
Dec 05 12:59:17.401 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-4/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 05 12:59:17.857 INFO [stdout] eea5be29f99f66710e68276f04c4cf45f8bb5cf81c2381145ff712f16f9970f9
Dec 05 12:59:17.859 INFO running `"docker" "start" "-a" "eea5be29f99f66710e68276f04c4cf45f8bb5cf81c2381145ff712f16f9970f9"`
Dec 05 12:59:19.012 INFO [stderr] usermod: no changes
Dec 05 12:59:19.116 INFO [stderr]    Compiling tla_plus_lecture_description v0.1.0 (/source)
Dec 05 12:59:20.156 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.10s
Dec 05 12:59:20.160 INFO [stderr] su: No module specific data is present
Dec 05 12:59:21.046 INFO running `"docker" "inspect" "eea5be29f99f66710e68276f04c4cf45f8bb5cf81c2381145ff712f16f9970f9"`
Dec 05 12:59:21.302 INFO running `"docker" "rm" "-f" "eea5be29f99f66710e68276f04c4cf45f8bb5cf81c2381145ff712f16f9970f9"`
Dec 05 12:59:21.572 INFO [stdout] eea5be29f99f66710e68276f04c4cf45f8bb5cf81c2381145ff712f16f9970f9
Dec 05 12:59:21.574 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-4/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 05 12:59:22.082 INFO [stdout] d1f64bd024c96334d721f9b6837cffbf1f526aea5a09c5fe435d46bf9f61361f
Dec 05 12:59:22.084 INFO running `"docker" "start" "-a" "d1f64bd024c96334d721f9b6837cffbf1f526aea5a09c5fe435d46bf9f61361f"`
Dec 05 12:59:24.751 INFO [stderr] usermod: no changes
Dec 05 12:59:24.864 INFO [stderr]    Compiling tla_plus_lecture_description v0.1.0 (/source)
Dec 05 12:59:25.709 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.93s
Dec 05 12:59:25.712 INFO [stderr] su: No module specific data is present
Dec 05 12:59:27.339 INFO running `"docker" "inspect" "d1f64bd024c96334d721f9b6837cffbf1f526aea5a09c5fe435d46bf9f61361f"`
Dec 05 12:59:27.688 INFO running `"docker" "rm" "-f" "d1f64bd024c96334d721f9b6837cffbf1f526aea5a09c5fe435d46bf9f61361f"`
Dec 05 12:59:28.044 INFO [stdout] d1f64bd024c96334d721f9b6837cffbf1f526aea5a09c5fe435d46bf9f61361f
Dec 05 12:59:28.046 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-4/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 05 12:59:28.578 INFO [stdout] ba8f7a4f56f2e2ae7af34ad31400acb9373c0bdaa2149136d046642918f8f875
Dec 05 12:59:28.580 INFO running `"docker" "start" "-a" "ba8f7a4f56f2e2ae7af34ad31400acb9373c0bdaa2149136d046642918f8f875"`
Dec 05 12:59:30.496 INFO [stderr] usermod: no changes
Dec 05 12:59:30.612 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.08s
Dec 05 12:59:30.612 INFO [stderr]      Running /target/debug/deps/tla_plus_lecture_description-0bc7552a5c34cc55
Dec 05 12:59:30.620 INFO [stderr] su: No module specific data is present
Dec 05 12:59:30.620 INFO [stdout] 
Dec 05 12:59:30.620 INFO [stdout] running 0 tests
Dec 05 12:59:30.620 INFO [stdout] 
Dec 05 12:59:30.620 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 05 12:59:30.620 INFO [stdout] 
Dec 05 12:59:44.692 INFO running `"docker" "inspect" "ba8f7a4f56f2e2ae7af34ad31400acb9373c0bdaa2149136d046642918f8f875"`
Dec 05 12:59:45.006 INFO running `"docker" "rm" "-f" "ba8f7a4f56f2e2ae7af34ad31400acb9373c0bdaa2149136d046642918f8f875"`
Dec 05 12:59:46.645 INFO [stdout] ba8f7a4f56f2e2ae7af34ad31400acb9373c0bdaa2149136d046642918f8f875