[INFO] cloning repository https://github.com/ikeda-r/hoice-arg
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ikeda-r/hoice-arg" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fikeda-r%2Fhoice-arg", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fikeda-r%2Fhoice-arg'...
[INFO] [stderr] fatal: write error: No space left on device
[INFO] [stderr] fatal: fetch-pack: invalid index-pack output
[WARN] Retrying crate fetch in 3 seconds (attempt 1)
[INFO] cloning repository https://github.com/ikeda-r/hoice-arg
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ikeda-r/hoice-arg" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fikeda-r%2Fhoice-arg", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fikeda-r%2Fhoice-arg'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 94dbd00e45c5ad9274dc933e6fa2cee80118ed85
[INFO] checking ikeda-r/hoice-arg against try#028201683a76a5cd349729c6819c46607119c4e8 for pr-144157
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fikeda-r%2Fhoice-arg" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file rsc/sat/long/file.smt2
[INFO] [stderr] error: unable to write file rsc/sat/long/recursive_simplifications.smt2
[INFO] [stderr] error: unable to write file rsc/sat/not_ill_formed.smt2
[INFO] [stderr] error: unable to write file src/common/config.rs
[INFO] [stderr] error: unable to write file src/common/consts.rs
[INFO] [stderr] error: unable to write file src/common/macros.rs
[INFO] [stderr] error: unable to write file src/common/mod.rs
[INFO] [stderr] error: unable to write file src/common/msg.rs
[INFO] [stderr] error: unable to write file src/common/profiling.rs
[INFO] [stderr] error: unable to write file src/common/smt.rs
[INFO] [stderr] error: unable to write file src/common/wrappers.rs
[INFO] [stderr] fatal: cannot create directory at 'src/data': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] checking ikeda-r/hoice-arg against try#028201683a76a5cd349729c6819c46607119c4e8 for pr-144157
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fikeda-r%2Fhoice-arg" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file rsc/sat/simple-adt-horn.smt2
[INFO] [stderr] fatal: cannot create directory at 'rsc/unsat': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] checking ikeda-r/hoice-arg against try#028201683a76a5cd349729c6819c46607119c4e8 for pr-144157
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fikeda-r%2Fhoice-arg" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file rsc/sat/long/Ackermann00.smt2
[INFO] [stderr] error: unable to write file rsc/unsat/mc_91.smt2
[INFO] [stderr] error: unable to write file rsc/unsat/preproc.smt2
[INFO] [stderr] error: unable to write file rsc/unsat/proof_1.smt2
[INFO] [stderr] error: unable to write file rsc/unsat/proof_2.smt2
[INFO] [stderr] error: unable to write file rsc/unsat/proof_3.smt2
[INFO] [stderr] error: unable to write file rsc/unsat/proof_4.smt2
[INFO] [stderr] error: unable to write file rsc/unsat/proof_5.smt2
[INFO] [stderr] error: unable to write file rsc/unsat/proof_6.smt2
[INFO] [stderr] error: unable to write file rsc/unsat/proof_paths.smt2
[INFO] [stderr] error: unable to write file rsc/unsat/proof_unroll.smt2
[INFO] [stderr] error: unable to write file rsc/unsat/record-cex.smt2
[INFO] [stderr] fatal: cannot create directory at 'src': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] checking ikeda-r/hoice-arg against try#028201683a76a5cd349729c6819c46607119c4e8 for pr-144157
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fikeda-r%2Fhoice-arg" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file rsc/inactive/core_2.smt2
[INFO] [stderr] error: unable to write file rsc/inactive/core_3.smt2
[INFO] [stderr] error: unable to write file rsc/inactive/core_4.smt2
[INFO] [stderr] error: unable to write file rsc/inactive/core_5.smt2
[INFO] [stderr] error: unable to write file rsc/inactive/datatypes.smt2
[INFO] [stderr] fatal: cannot create directory at 'rsc/sat': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] checking ikeda-r/hoice-arg against try#028201683a76a5cd349729c6819c46607119c4e8 for pr-144157
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fikeda-r%2Fhoice-arg" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file rsc/inactive/core_2.smt2
[INFO] [stderr] error: unable to write file rsc/inactive/core_3.smt2
[INFO] [stderr] error: unable to write file rsc/inactive/core_4.smt2
[INFO] [stderr] error: unable to write file rsc/inactive/core_5.smt2
[INFO] [stderr] error: unable to write file rsc/inactive/datatypes.smt2
[INFO] [stderr] fatal: cannot create directory at 'rsc/sat': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 


failed to checkout https://github.com/ikeda-r/hoice-arg

Caused by:
    command failed: exit status: 128