[INFO] updating cached repository MaiaVictor/formality-document [INFO] running `"git" "fetch" "--all"` [INFO] [stdout] Fetching origin [INFO] [stderr] From git://github.com/MaiaVictor/formality-document [INFO] [stderr] * branch HEAD -> FETCH_HEAD [INFO] running `"git" "clone" "work/cache/sources/gh/MaiaVictor/formality-document" "work/ex/pr-59527/sources/master#003382e4150984cb476047b3925edf8d75df2d59/gh/MaiaVictor/formality-document"` [INFO] [stderr] Cloning into 'work/ex/pr-59527/sources/master#003382e4150984cb476047b3925edf8d75df2d59/gh/MaiaVictor/formality-document'... [INFO] [stderr] done. [INFO] running `"git" "clone" "work/cache/sources/gh/MaiaVictor/formality-document" "work/ex/pr-59527/sources/try#47f4f94676fbdd494dd2c2dc9ac377a13fc78e00/gh/MaiaVictor/formality-document"` [INFO] [stderr] Cloning into 'work/ex/pr-59527/sources/try#47f4f94676fbdd494dd2c2dc9ac377a13fc78e00/gh/MaiaVictor/formality-document'... [INFO] [stderr] done. [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] f08b31f973b70e0753b4a7ab34ee06df6e85abaf [INFO] sha for GitHub repo MaiaVictor/formality-document: f08b31f973b70e0753b4a7ab34ee06df6e85abaf [INFO] validating manifest of MaiaVictor/formality-document on toolchain master#003382e4150984cb476047b3925edf8d75df2d59 [INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+003382e4150984cb476047b3925edf8d75df2d59-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of MaiaVictor/formality-document on toolchain try#47f4f94676fbdd494dd2c2dc9ac377a13fc78e00 [INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+47f4f94676fbdd494dd2c2dc9ac377a13fc78e00-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started frobbing MaiaVictor/formality-document [INFO] finished frobbing MaiaVictor/formality-document [INFO] frobbed toml for MaiaVictor/formality-document written to work/ex/pr-59527/sources/master#003382e4150984cb476047b3925edf8d75df2d59/gh/MaiaVictor/formality-document/Cargo.toml [INFO] started frobbing MaiaVictor/formality-document [INFO] finished frobbing MaiaVictor/formality-document [INFO] frobbed toml for MaiaVictor/formality-document written to work/ex/pr-59527/sources/try#47f4f94676fbdd494dd2c2dc9ac377a13fc78e00/gh/MaiaVictor/formality-document/Cargo.toml [INFO] crate MaiaVictor/formality-document already has a lockfile, it will not be regenerated [INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+003382e4150984cb476047b3925edf8d75df2d59-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+47f4f94676fbdd494dd2c2dc9ac377a13fc78e00-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] checking MaiaVictor/formality-document against master#003382e4150984cb476047b3925edf8d75df2d59 for pr-59527 [INFO] running `"docker" "create" "-v" "/mnt/crater-raid/crater/work/local/target-dirs/pr-59527/worker-1/master#003382e4150984cb476047b3925edf8d75df2d59:/opt/crater/target:rw,Z" "-v" "/mnt/crater-raid/crater/work/ex/pr-59527/sources/master#003382e4150984cb476047b3925edf8d75df2d59/gh/MaiaVictor/formality-document:/opt/crater/workdir:ro,Z" "-v" "/mnt/crater-raid/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/crater-raid/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" "+003382e4150984cb476047b3925edf8d75df2d59-alt" "check" "--frozen" "--all" "--all-targets"` [INFO] [stdout] 7d9e6d7662d9bebabceee4e30f7ede191325662a5d27cf0b04551f6504d54d30 [INFO] running `"docker" "start" "-a" "7d9e6d7662d9bebabceee4e30f7ede191325662a5d27cf0b04551f6504d54d30"` [INFO] [stderr] Checking symmetric-interaction-calculus v0.1.8 [INFO] [stderr] Checking formality v0.1.10 [INFO] [stderr] Checking formality-document v0.1.0 (/opt/crater/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 3.57s [INFO] running `"docker" "inspect" "7d9e6d7662d9bebabceee4e30f7ede191325662a5d27cf0b04551f6504d54d30"` [INFO] running `"docker" "rm" "-f" "7d9e6d7662d9bebabceee4e30f7ede191325662a5d27cf0b04551f6504d54d30"` [INFO] [stdout] 7d9e6d7662d9bebabceee4e30f7ede191325662a5d27cf0b04551f6504d54d30