[INFO] cloning repository https://github.com/ytong24/cykas
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ytong24/cykas" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fytong24%2Fcykas", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fytong24%2Fcykas'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] f44d980c672811545fe7c2fe4face5a45be09417
[INFO] checking ytong24/cykas against f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1 for pr-160235-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fytong24%2Fcykas" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/ytong24/cykas
[INFO] finished tweaking git repo https://github.com/ytong24/cykas
[INFO] tweaked toml for git repo https://github.com/ytong24/cykas written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/ytong24/cykas on toolchain f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/ytong24/cykas 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" "+f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: binary `model_check` should have a kebab-case name
[INFO] [stderr]    |
[INFO] [stderr]  1 | /workspace/builds/worker-2-tc2/source/target/.../model_check
[INFO] [stderr]    |                                                  ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::non_kebab_case_bins` is set to `warn` by default
[INFO] [stderr] help: to change the binary name to `model-check`, convert `package.name`
[INFO] [stderr]   --> model_check/Cargo.toml:2:8
[INFO] [stderr]    |
[INFO] [stderr]  2 - name = "model_check"
[INFO] [stderr]  2 + name = "model-check"
[INFO] [stderr]    |
[INFO] [stderr] help: to change the binary name to `model-check`, specify `bin.name`
[INFO] [stderr]   --> model_check/Cargo.toml:20:90
[INFO] [stderr]    |
[INFO] [stderr] 20 ~ stateright = { git = "https://github.com/ytong24/stateright.git", branch = "cykas-dev" }
[INFO] [stderr] 21 + [[bin]]
[INFO] [stderr] 22 + name = "model-check"
[INFO] [stderr] 23 + path = "src/main.rs"
[INFO] [stderr]    |
[INFO] [stderr] warning: `model_check` (manifest) generated 1 warning
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating git repository `https://github.com/ytong24/stateright.git`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[ERROR] error running command: no output for 300 seconds
[INFO] checking ytong24/cykas against f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1 for pr-160235-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fytong24%2Fcykas" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/ytong24/cykas
[INFO] finished tweaking git repo https://github.com/ytong24/cykas
[INFO] tweaked toml for git repo https://github.com/ytong24/cykas written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/ytong24/cykas on toolchain f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/ytong24/cykas 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" "+f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: binary `model_check` should have a kebab-case name
[INFO] [stderr]    |
[INFO] [stderr]  1 | /workspace/builds/worker-2-tc2/source/target/.../model_check
[INFO] [stderr]    |                                                  ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::non_kebab_case_bins` is set to `warn` by default
[INFO] [stderr] help: to change the binary name to `model-check`, convert `package.name`
[INFO] [stderr]   --> model_check/Cargo.toml:2:8
[INFO] [stderr]    |
[INFO] [stderr]  2 - name = "model_check"
[INFO] [stderr]  2 + name = "model-check"
[INFO] [stderr]    |
[INFO] [stderr] help: to change the binary name to `model-check`, specify `bin.name`
[INFO] [stderr]   --> model_check/Cargo.toml:20:90
[INFO] [stderr]    |
[INFO] [stderr] 20 ~ stateright = { git = "https://github.com/ytong24/stateright.git", branch = "cykas-dev" }
[INFO] [stderr] 21 + [[bin]]
[INFO] [stderr] 22 + name = "model-check"
[INFO] [stderr] 23 + path = "src/main.rs"
[INFO] [stderr]    |
[INFO] [stderr] warning: `model_check` (manifest) generated 1 warning
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[ERROR] error running command: no output for 300 seconds
[INFO] checking ytong24/cykas against f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1 for pr-160235-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fytong24%2Fcykas" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/ytong24/cykas
[INFO] finished tweaking git repo https://github.com/ytong24/cykas
[INFO] tweaked toml for git repo https://github.com/ytong24/cykas written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/ytong24/cykas on toolchain f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/ytong24/cykas 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" "+f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: binary `model_check` should have a kebab-case name
[INFO] [stderr]    |
[INFO] [stderr]  1 | /workspace/builds/worker-2-tc2/source/target/.../model_check
[INFO] [stderr]    |                                                  ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::non_kebab_case_bins` is set to `warn` by default
[INFO] [stderr] help: to change the binary name to `model-check`, convert `package.name`
[INFO] [stderr]   --> model_check/Cargo.toml:2:8
[INFO] [stderr]    |
[INFO] [stderr]  2 - name = "model_check"
[INFO] [stderr]  2 + name = "model-check"
[INFO] [stderr]    |
[INFO] [stderr] help: to change the binary name to `model-check`, specify `bin.name`
[INFO] [stderr]   --> model_check/Cargo.toml:20:90
[INFO] [stderr]    |
[INFO] [stderr] 20 ~ stateright = { git = "https://github.com/ytong24/stateright.git", branch = "cykas-dev" }
[INFO] [stderr] 21 + [[bin]]
[INFO] [stderr] 22 + name = "model-check"
[INFO] [stderr] 23 + path = "src/main.rs"
[INFO] [stderr]    |
[INFO] [stderr] warning: `model_check` (manifest) generated 1 warning
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[ERROR] error running command: no output for 300 seconds
[INFO] checking ytong24/cykas against f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1 for pr-160235-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fytong24%2Fcykas" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/ytong24/cykas
[INFO] finished tweaking git repo https://github.com/ytong24/cykas
[INFO] tweaked toml for git repo https://github.com/ytong24/cykas written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/ytong24/cykas on toolchain f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/ytong24/cykas 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" "+f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: binary `model_check` should have a kebab-case name
[INFO] [stderr]    |
[INFO] [stderr]  1 | /workspace/builds/worker-2-tc2/source/target/.../model_check
[INFO] [stderr]    |                                                  ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::non_kebab_case_bins` is set to `warn` by default
[INFO] [stderr] help: to change the binary name to `model-check`, convert `package.name`
[INFO] [stderr]   --> model_check/Cargo.toml:2:8
[INFO] [stderr]    |
[INFO] [stderr]  2 - name = "model_check"
[INFO] [stderr]  2 + name = "model-check"
[INFO] [stderr]    |
[INFO] [stderr] help: to change the binary name to `model-check`, specify `bin.name`
[INFO] [stderr]   --> model_check/Cargo.toml:20:90
[INFO] [stderr]    |
[INFO] [stderr] 20 ~ stateright = { git = "https://github.com/ytong24/stateright.git", branch = "cykas-dev" }
[INFO] [stderr] 21 + [[bin]]
[INFO] [stderr] 22 + name = "model-check"
[INFO] [stderr] 23 + path = "src/main.rs"
[INFO] [stderr]    |
[INFO] [stderr] warning: `model_check` (manifest) generated 1 warning
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[ERROR] error running command: no output for 300 seconds
[INFO] checking ytong24/cykas against f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1 for pr-160235-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fytong24%2Fcykas" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/ytong24/cykas
[INFO] finished tweaking git repo https://github.com/ytong24/cykas
[INFO] tweaked toml for git repo https://github.com/ytong24/cykas written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/ytong24/cykas on toolchain f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/ytong24/cykas 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" "+f99a7560a6b5f0a5e6894aea7e8afe0e01d3edd1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: binary `model_check` should have a kebab-case name
[INFO] [stderr]    |
[INFO] [stderr]  1 | /workspace/builds/worker-2-tc2/source/target/.../model_check
[INFO] [stderr]    |                                                  ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::non_kebab_case_bins` is set to `warn` by default
[INFO] [stderr] help: to change the binary name to `model-check`, convert `package.name`
[INFO] [stderr]   --> model_check/Cargo.toml:2:8
[INFO] [stderr]    |
[INFO] [stderr]  2 - name = "model_check"
[INFO] [stderr]  2 + name = "model-check"
[INFO] [stderr]    |
[INFO] [stderr] help: to change the binary name to `model-check`, specify `bin.name`
[INFO] [stderr]   --> model_check/Cargo.toml:20:90
[INFO] [stderr]    |
[INFO] [stderr] 20 ~ stateright = { git = "https://github.com/ytong24/stateright.git", branch = "cykas-dev" }
[INFO] [stderr] 21 + [[bin]]
[INFO] [stderr] 22 + name = "model-check"
[INFO] [stderr] 23 + path = "src/main.rs"
[INFO] [stderr]    |
[INFO] [stderr] warning: `model_check` (manifest) generated 1 warning
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[ERROR] error running command: no output for 300 seconds


overridden task result to prepare-fail:timeout

Caused by:
    0: uncategorized prepare error
    1: no output for 300 seconds