[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] 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/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#d12484522bcab8d07e325c6570f226a2faace3f7 for pr-128425-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime4.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime529.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime529.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime65537.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime841.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime841.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime9.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime9.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime961.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime961.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/regr000.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/regr000.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/run.sh
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat0.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat1.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat1.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat10.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat10.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat11.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat11.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat12.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat12.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat13.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat13.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat2.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat2.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat3.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat3.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat4.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat4.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat5.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat6.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat6.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat7.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat7.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat8.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat8.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat9.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sat9.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt10201.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt10201.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt1042441.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt1042441.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt10609.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt10609.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt11449.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt11449.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt11881.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt11881.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt12769.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt12769.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt16129.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt16129.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt259081.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt259081.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt2809.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt2809.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt3481.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt3481.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt3721.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt3721.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt4489.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt4489.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt5041.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt5041.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt5329.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt5329.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt6241.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt6241.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt63001.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt63001.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt6889.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt9409.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt9409.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sub0.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/unit0.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/unit0.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/unit1.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/unit1.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/unit2.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/unit2.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/unit3.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/unit3.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/unit4.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/unit5.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/unit6.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/unit7.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/makefile
[INFO] [stderr] fatal: cannot create directory at 'cadical-sys/cadical-rel-1.2.1/test/mbt': 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#d12484522bcab8d07e325c6570f226a2faace3f7 for pr-128425-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/block0.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/drat-trim.c
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/elimclash.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/elimredundant.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/empty.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/empty.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/factor2708413neg.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/factor2708413pos.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/false.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/full1.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/full2.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/full3.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/full4.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/full5.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt1042441.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt1042441.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt10609.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt10609.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt11449.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt11449.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt11881.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt11881.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt12769.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt12769.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt16129.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt16129.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt259081.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt259081.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt2809.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt2809.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt3481.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt3481.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt3721.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt3721.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt4489.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt5041.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0003.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0004.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0005.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0006.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0007.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0008.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0009.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0010.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0011.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0012.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0013.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0014.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0015.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0016.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0017.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0018.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0019.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0020.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0021.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0022.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0023.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0024.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0025.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0026.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0027.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0028.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0029.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0030.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0031.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0032.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0033.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0034.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0035.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0036.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0037.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0038.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0039.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0040.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0041.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0042.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0043.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0044.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0045.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0046.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0047.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0048.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0049.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0050.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0051.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/reg0052.trace
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/trace/run.sh
[INFO] [stderr] fatal: cannot create directory at 'cadical-sys/cadical-rel-1.2.1/test/usage': 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#d12484522bcab8d07e325c6570f226a2faace3f7 for pr-128425-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[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#d12484522bcab8d07e325c6570f226a2faace3f7 for pr-128425-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[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] 
[INFO] checking huskyii/satisfy-rs against try#d12484522bcab8d07e325c6570f226a2faace3f7 for pr-128425-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[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/contract.hpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/cover.cpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/cover.hpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/decide.cpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/decompose.cpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/deduplicate.cpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/elim.cpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/elim.hpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/ema.cpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/ema.hpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/extend.cpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/external.cpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/external.hpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/file.cpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/file.hpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/flags.cpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/flags.hpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/format.cpp
[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
    
    