[INFO] cloning repository https://github.com/AD1024/LeanRW
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/AD1024/LeanRW" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAD1024%2FLeanRW", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAD1024%2FLeanRW'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 7261162876c823e781d08739eb92831908190a4b
[INFO] checking AD1024/LeanRW against 79c0559184f27f4433a6fbc260b950d06d4a4889 for pr-162233-crater-rollup
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAD1024%2FLeanRW" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/AD1024/LeanRW
[INFO] finished tweaking git repo https://github.com/AD1024/LeanRW
[INFO] tweaked toml for git repo https://github.com/AD1024/LeanRW written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/AD1024/LeanRW on toolchain 79c0559184f27f4433a6fbc260b950d06d4a4889
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+79c0559184f27f4433a6fbc260b950d06d4a4889" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/AD1024/LeanRW 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" "+79c0559184f27f4433a6fbc260b950d06d4a4889" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: binary `LeanRW` should have a kebab-case name
[INFO] [stderr]    |
[INFO] [stderr]  1 | /workspace/builds/worker-3-tc2/source/target/.../LeanRW
[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 `lean-rw`, convert `package.name`
[INFO] [stderr]   --> Cargo.toml:9:8
[INFO] [stderr]    |
[INFO] [stderr]  9 - name = "LeanRW"
[INFO] [stderr]  9 + name = "lean-rw"
[INFO] [stderr]    |
[INFO] [stderr] help: to change the binary name to `lean-rw`, specify `bin.name`
[INFO] [stderr]   --> Cargo.toml:10:19
[INFO] [stderr]    |
[INFO] [stderr] 10 ~ version = "0.1.0"
[INFO] [stderr] 11 + [[bin]]
[INFO] [stderr] 12 + name = "lean-rw"
[INFO] [stderr] 13 + path = "src/main.rs"
[INFO] [stderr]    |
[INFO] [stderr] warning: `LeanRW` (manifest) generated 1 warning
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr] error: no matching package named `slotted-egraphs` found
[INFO] [stderr] location searched: /Users/mikehe/Documents/Princeton/LeanCodeVerif/slotted-egraphs
[INFO] [stderr] required by package `LeanRW v0.1.0 (/workspace/builds/worker-3-tc2/source)`
[INFO] checking AD1024/LeanRW against 79c0559184f27f4433a6fbc260b950d06d4a4889 for pr-162233-crater-rollup
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAD1024%2FLeanRW" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/AD1024/LeanRW
[INFO] finished tweaking git repo https://github.com/AD1024/LeanRW
[INFO] tweaked toml for git repo https://github.com/AD1024/LeanRW written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/AD1024/LeanRW on toolchain 79c0559184f27f4433a6fbc260b950d06d4a4889
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+79c0559184f27f4433a6fbc260b950d06d4a4889" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/AD1024/LeanRW 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" "+79c0559184f27f4433a6fbc260b950d06d4a4889" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: binary `LeanRW` should have a kebab-case name
[INFO] [stderr]    |
[INFO] [stderr]  1 | /workspace/builds/worker-3-tc2/source/target/.../LeanRW
[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 `lean-rw`, convert `package.name`
[INFO] [stderr]   --> Cargo.toml:9:8
[INFO] [stderr]    |
[INFO] [stderr]  9 - name = "LeanRW"
[INFO] [stderr]  9 + name = "lean-rw"
[INFO] [stderr]    |
[INFO] [stderr] help: to change the binary name to `lean-rw`, specify `bin.name`
[INFO] [stderr]   --> Cargo.toml:10:19
[INFO] [stderr]    |
[INFO] [stderr] 10 ~ version = "0.1.0"
[INFO] [stderr] 11 + [[bin]]
[INFO] [stderr] 12 + name = "lean-rw"
[INFO] [stderr] 13 + path = "src/main.rs"
[INFO] [stderr]    |
[INFO] [stderr] warning: `LeanRW` (manifest) generated 1 warning
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr] error: no matching package named `slotted-egraphs` found
[INFO] [stderr] location searched: /Users/mikehe/Documents/Princeton/LeanCodeVerif/slotted-egraphs
[INFO] [stderr] required by package `LeanRW v0.1.0 (/workspace/builds/worker-3-tc2/source)`
[INFO] checking AD1024/LeanRW against 79c0559184f27f4433a6fbc260b950d06d4a4889 for pr-162233-crater-rollup
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAD1024%2FLeanRW" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/AD1024/LeanRW
[INFO] finished tweaking git repo https://github.com/AD1024/LeanRW
[INFO] tweaked toml for git repo https://github.com/AD1024/LeanRW written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/AD1024/LeanRW on toolchain 79c0559184f27f4433a6fbc260b950d06d4a4889
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+79c0559184f27f4433a6fbc260b950d06d4a4889" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/AD1024/LeanRW 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" "+79c0559184f27f4433a6fbc260b950d06d4a4889" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: binary `LeanRW` should have a kebab-case name
[INFO] [stderr]    |
[INFO] [stderr]  1 | /workspace/builds/worker-3-tc2/source/target/.../LeanRW
[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 `lean-rw`, convert `package.name`
[INFO] [stderr]   --> Cargo.toml:9:8
[INFO] [stderr]    |
[INFO] [stderr]  9 - name = "LeanRW"
[INFO] [stderr]  9 + name = "lean-rw"
[INFO] [stderr]    |
[INFO] [stderr] help: to change the binary name to `lean-rw`, specify `bin.name`
[INFO] [stderr]   --> Cargo.toml:10:19
[INFO] [stderr]    |
[INFO] [stderr] 10 ~ version = "0.1.0"
[INFO] [stderr] 11 + [[bin]]
[INFO] [stderr] 12 + name = "lean-rw"
[INFO] [stderr] 13 + path = "src/main.rs"
[INFO] [stderr]    |
[INFO] [stderr] warning: `LeanRW` (manifest) generated 1 warning
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr] error: no matching package named `slotted-egraphs` found
[INFO] [stderr] location searched: /Users/mikehe/Documents/Princeton/LeanCodeVerif/slotted-egraphs
[INFO] [stderr] required by package `LeanRW v0.1.0 (/workspace/builds/worker-3-tc2/source)`
[INFO] checking AD1024/LeanRW against 79c0559184f27f4433a6fbc260b950d06d4a4889 for pr-162233-crater-rollup
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAD1024%2FLeanRW" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/AD1024/LeanRW
[INFO] finished tweaking git repo https://github.com/AD1024/LeanRW
[INFO] tweaked toml for git repo https://github.com/AD1024/LeanRW written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/AD1024/LeanRW on toolchain 79c0559184f27f4433a6fbc260b950d06d4a4889
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+79c0559184f27f4433a6fbc260b950d06d4a4889" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/AD1024/LeanRW 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" "+79c0559184f27f4433a6fbc260b950d06d4a4889" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: binary `LeanRW` should have a kebab-case name
[INFO] [stderr]    |
[INFO] [stderr]  1 | /workspace/builds/worker-3-tc2/source/target/.../LeanRW
[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 `lean-rw`, convert `package.name`
[INFO] [stderr]   --> Cargo.toml:9:8
[INFO] [stderr]    |
[INFO] [stderr]  9 - name = "LeanRW"
[INFO] [stderr]  9 + name = "lean-rw"
[INFO] [stderr]    |
[INFO] [stderr] help: to change the binary name to `lean-rw`, specify `bin.name`
[INFO] [stderr]   --> Cargo.toml:10:19
[INFO] [stderr]    |
[INFO] [stderr] 10 ~ version = "0.1.0"
[INFO] [stderr] 11 + [[bin]]
[INFO] [stderr] 12 + name = "lean-rw"
[INFO] [stderr] 13 + path = "src/main.rs"
[INFO] [stderr]    |
[INFO] [stderr] warning: `LeanRW` (manifest) generated 1 warning
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr] error: no matching package named `slotted-egraphs` found
[INFO] [stderr] location searched: /Users/mikehe/Documents/Princeton/LeanCodeVerif/slotted-egraphs
[INFO] [stderr] required by package `LeanRW v0.1.0 (/workspace/builds/worker-3-tc2/source)`
[INFO] checking AD1024/LeanRW against 79c0559184f27f4433a6fbc260b950d06d4a4889 for pr-162233-crater-rollup
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAD1024%2FLeanRW" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/AD1024/LeanRW
[INFO] finished tweaking git repo https://github.com/AD1024/LeanRW
[INFO] tweaked toml for git repo https://github.com/AD1024/LeanRW written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/AD1024/LeanRW on toolchain 79c0559184f27f4433a6fbc260b950d06d4a4889
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+79c0559184f27f4433a6fbc260b950d06d4a4889" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/AD1024/LeanRW 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" "+79c0559184f27f4433a6fbc260b950d06d4a4889" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: binary `LeanRW` should have a kebab-case name
[INFO] [stderr]    |
[INFO] [stderr]  1 | /workspace/builds/worker-3-tc2/source/target/.../LeanRW
[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 `lean-rw`, convert `package.name`
[INFO] [stderr]   --> Cargo.toml:9:8
[INFO] [stderr]    |
[INFO] [stderr]  9 - name = "LeanRW"
[INFO] [stderr]  9 + name = "lean-rw"
[INFO] [stderr]    |
[INFO] [stderr] help: to change the binary name to `lean-rw`, specify `bin.name`
[INFO] [stderr]   --> Cargo.toml:10:19
[INFO] [stderr]    |
[INFO] [stderr] 10 ~ version = "0.1.0"
[INFO] [stderr] 11 + [[bin]]
[INFO] [stderr] 12 + name = "lean-rw"
[INFO] [stderr] 13 + path = "src/main.rs"
[INFO] [stderr]    |
[INFO] [stderr] warning: `LeanRW` (manifest) generated 1 warning
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr] error: no matching package named `slotted-egraphs` found
[INFO] [stderr] location searched: /Users/mikehe/Documents/Princeton/LeanCodeVerif/slotted-egraphs
[INFO] [stderr] required by package `LeanRW v0.1.0 (/workspace/builds/worker-3-tc2/source)`


overridden task result to broken:missing-deps

Caused by:
    the crate depends on missing dependencies: 
    
    warning: binary `LeanRW` should have a kebab-case name
       |
     1 | /workspace/builds/worker-3-tc2/source/target/.../LeanRW
       |                                                  ^^^^^^
       |
       = note: `cargo::non_kebab_case_bins` is set to `warn` by default
    help: to change the binary name to `lean-rw`, convert `package.name`
      --> Cargo.toml:9:8
       |
     9 - name = "LeanRW"
     9 + name = "lean-rw"
       |
    help: to change the binary name to `lean-rw`, specify `bin.name`
      --> Cargo.toml:10:19
       |
    10 ~ version = "0.1.0"
    11 + [[bin]]
    12 + name = "lean-rw"
    13 + path = "src/main.rs"
       |
    warning: `LeanRW` (manifest) generated 1 warning
        Updating crates.io index
    error: no matching package named `slotted-egraphs` found
    location searched: /Users/mikehe/Documents/Princeton/LeanCodeVerif/slotted-egraphs
    required by package `LeanRW v0.1.0 (/workspace/builds/worker-3-tc2/source)`