[INFO] cloning repository https://github.com/huskyii/satisfy-rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/huskyii/satisfy-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 1) [INFO] cloning repository https://github.com/huskyii/satisfy-rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/huskyii/satisfy-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 2) [INFO] cloning repository https://github.com/huskyii/satisfy-rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/huskyii/satisfy-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 3) [INFO] cloning repository https://github.com/huskyii/satisfy-rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/huskyii/satisfy-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 4) [INFO] cloning repository https://github.com/huskyii/satisfy-rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/huskyii/satisfy-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 5) [INFO] cloning repository https://github.com/huskyii/satisfy-rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/huskyii/satisfy-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] c2a39a5ce2d42f60532625548c1a3be006358b0c [INFO] checking huskyii/satisfy-rs against try#b32fc44666c052e7cf07ab471bfb6f9ec571902f for pr-138676 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'... [INFO] [stderr] /workspace/builds/worker-2-tc2/source/.git: No space left on device [INFO] checking huskyii/satisfy-rs against try#b32fc44666c052e7cf07ab471bfb6f9ec571902f for pr-138676 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }` [INFO] [stderr] fatal: could not create work tree dir '/workspace/builds/worker-2-tc2/source': No space left on device [INFO] checking huskyii/satisfy-rs against try#b32fc44666c052e7cf07ab471bfb6f9ec571902f for pr-138676 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }` [INFO] [stderr] fatal: could not create work tree dir '/workspace/builds/worker-2-tc2/source': No space left on device [INFO] checking huskyii/satisfy-rs against try#b32fc44666c052e7cf07ab471bfb6f9ec571902f for pr-138676 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/LICENSE [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/README.md [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/arena.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/assume.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/averages.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/averages.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/backtrack.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/backward.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/bins.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/bins.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/block.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/block.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/cadical.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/cadical.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/ccadical.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/ccadical.h [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/checker.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/checker.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/clause.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/clause.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/collect.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/compact.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/condition.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/config.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/config.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/options.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/options.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/parse.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/parse.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/phases.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/phases.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/probe.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/profile.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/profile.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/proof.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/proof.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/propagate.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/queue.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/queue.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/radix.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/random.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/random.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/reduce.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/reluctant.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/rephase.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/report.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/resources.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/resources.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/restart.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/restore.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/score.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/score.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/signal.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/signal.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/solution.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/solver.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/stats.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/stats.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/subsume.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/terminal.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/terminal.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/ternary.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/tracer.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/tracer.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/transred.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/util.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/util.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/var.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/var.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/version.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/version.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/vivify.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/vivify.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/walk.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/watch.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/watch.hpp [INFO] [stderr] fatal: cannot create directory at 'cadical-sys/cadical-rel-1.2.1/test': 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 huskyii/satisfy-rs against try#b32fc44666c052e7cf07ab471bfb6f9ec571902f for pr-138676 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/format.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/gates.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/heap.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/instantiate.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/instantiate.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/internal.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/internal.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/ipasir.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/ipasir.h [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/level.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/limit.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/limit.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/logging.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/logging.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/lucky.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/message.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/message.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/minimize.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/mobical.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/observer.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/occs.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/occs.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/options.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/options.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/parse.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/parse.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/phases.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/phases.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/probe.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/profile.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/profile.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/proof.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/proof.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/propagate.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/queue.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/queue.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/radix.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/random.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/random.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/reduce.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/reluctant.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/rephase.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/report.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/resources.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/resources.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/restart.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/restore.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/score.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/score.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/signal.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/signal.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/solution.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/solver.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/stats.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/stats.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/subsume.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/terminal.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/terminal.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/ternary.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/tracer.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/tracer.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/transred.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/util.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/util.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/var.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/var.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/version.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/version.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/vivify.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/vivify.hpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/walk.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/watch.cpp [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/watch.hpp [INFO] [stderr] fatal: cannot create directory at 'cadical-sys/cadical-rel-1.2.1/test': 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/huskyii/satisfy-rs Caused by: command failed: exit status: 128