[INFO] cloning repository https://github.com/banr1/forked-coq-of-rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/banr1/forked-coq-of-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbanr1%2Fforked-coq-of-rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbanr1%2Fforked-coq-of-rust'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] fcbe0598b173654cc357c32407a721f42ef4c889
[INFO] checking banr1/forked-coq-of-rust against master#217cb73577ed6f30a2005dd75bab01d23ec4cd60 for pr-148939
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbanr1%2Fforked-coq-of-rust" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  85% (2560/3002)
Updating files:  86% (2582/3002)
Updating files:  87% (2612/3002)
Updating files:  88% (2642/3002)
Updating files:  89% (2672/3002)
Updating files:  90% (2702/3002)
Updating files:  91% (2732/3002)
Updating files:  92% (2762/3002)
Updating files:  93% (2792/3002)
Updating files:  94% (2822/3002)
Updating files:  95% (2852/3002)
Updating files:  96% (2882/3002)
Updating files:  97% (2912/3002)
Updating files:  98% (2942/3002)
Updating files:  99% (2972/3002)
Updating files: 100% (3002/3002)
Updating files: 100% (3002/3002), done.
[INFO] removed /workspace/builds/worker-0-tc1/source/rust-toolchain
[INFO] started tweaking git repo https://github.com/banr1/forked-coq-of-rust
[INFO] finished tweaking git repo https://github.com/banr1/forked-coq-of-rust
[INFO] tweaked toml for git repo https://github.com/banr1/forked-coq-of-rust written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/banr1/forked-coq-of-rust on toolchain 217cb73577ed6f30a2005dd75bab01d23ec4cd60
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+217cb73577ed6f30a2005dd75bab01d23ec4cd60" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/banr1/forked-coq-of-rust already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+217cb73577ed6f30a2005dd75bab01d23ec4cd60" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root:
[INFO] [stderr] package:   /workspace/builds/worker-0-tc1/source/lib/Cargo.toml
[INFO] [stderr] workspace: /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] [stderr]     Blocking waiting for file lock on package cache
[ERROR] error running command: no output for 300 seconds


no output for 300 seconds