[INFO] cloning repository https://github.com/au-ts/smt-profiler
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/au-ts/smt-profiler" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fau-ts%2Fsmt-profiler", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fau-ts%2Fsmt-profiler'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] d72a658d7bb1a144f3c7d611192cc9438477f634
[INFO] checking au-ts/smt-profiler against master#8a65ee08296b36342bf7c3cdc15312ccbc357227 for pr-142704
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fau-ts%2Fsmt-profiler" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/au-ts/smt-profiler on toolchain 8a65ee08296b36342bf7c3cdc15312ccbc357227
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8a65ee08296b36342bf7c3cdc15312ccbc357227" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/au-ts/smt-profiler
[INFO] finished tweaking git repo https://github.com/au-ts/smt-profiler
[INFO] tweaked toml for git repo https://github.com/au-ts/smt-profiler written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/au-ts/smt-profiler 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" "+8a65ee08296b36342bf7c3cdc15312ccbc357227" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Updating git repository `https://github.com/verus-lang/smt2utils.git`
[INFO] [stderr] warning: spurious network error (3 tries remaining): cannot extend packfile '/workspace/cargo-home/git/db/smt2utils-a2a98b2b1a3e68db/objects/pack/pack_git2_97ce388131e00dbd': No space left on device; class=Os (2)
[INFO] [stderr] warning: spurious network error (2 tries remaining): cannot extend packfile '/workspace/cargo-home/git/db/smt2utils-a2a98b2b1a3e68db/objects/pack/pack_git2_7a6ee23d4c188fcb': No space left on device; class=Os (2)
[INFO] [stderr] warning: spurious network error (1 try remaining): cannot extend packfile '/workspace/cargo-home/git/db/smt2utils-a2a98b2b1a3e68db/objects/pack/pack_git2_fcc30581c0bfc34c': No space left on device; class=Os (2)
[INFO] [stderr] error: failed to get `z3tracer` as a dependency of package `gordian-profiler v0.1.0 (/workspace/builds/worker-4-tc1/source)`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to load source for dependency `z3tracer`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   Unable to update https://github.com/verus-lang/smt2utils.git?rev=ec4c894d04d7cd39c9a8aa1eda51db71cc54fe61#ec4c894d
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to clone into: /workspace/cargo-home/git/db/smt2utils-a2a98b2b1a3e68db
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   revision ec4c894d04d7cd39c9a8aa1eda51db71cc54fe61 not found
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   cannot extend packfile '/workspace/cargo-home/git/db/smt2utils-a2a98b2b1a3e68db/objects/pack/pack_git2_f455df7e1e643025': No space left on device; class=Os (2)


overridden task result to broken:missing-deps

Caused by:
    the crate depends on missing dependencies: 
    
        Updating crates.io index
        Updating git repository `https://github.com/verus-lang/smt2utils.git`
    warning: spurious network error (3 tries remaining): cannot extend packfile '/workspace/cargo-home/git/db/smt2utils-a2a98b2b1a3e68db/objects/pack/pack_git2_97ce388131e00dbd': No space left on device; class=Os (2)
    warning: spurious network error (2 tries remaining): cannot extend packfile '/workspace/cargo-home/git/db/smt2utils-a2a98b2b1a3e68db/objects/pack/pack_git2_7a6ee23d4c188fcb': No space left on device; class=Os (2)
    warning: spurious network error (1 try remaining): cannot extend packfile '/workspace/cargo-home/git/db/smt2utils-a2a98b2b1a3e68db/objects/pack/pack_git2_fcc30581c0bfc34c': No space left on device; class=Os (2)
    error: failed to get `z3tracer` as a dependency of package `gordian-profiler v0.1.0 (/workspace/builds/worker-4-tc1/source)`
    
    Caused by:
      failed to load source for dependency `z3tracer`
    
    Caused by:
      Unable to update https://github.com/verus-lang/smt2utils.git?rev=ec4c894d04d7cd39c9a8aa1eda51db71cc54fe61#ec4c894d
    
    Caused by:
      failed to clone into: /workspace/cargo-home/git/db/smt2utils-a2a98b2b1a3e68db
    
    Caused by:
      revision ec4c894d04d7cd39c9a8aa1eda51db71cc54fe61 not found
    
    Caused by:
      cannot extend packfile '/workspace/cargo-home/git/db/smt2utils-a2a98b2b1a3e68db/objects/pack/pack_git2_f455df7e1e643025': No space left on device; class=Os (2)