[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] [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] [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 6)
[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 7)
[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 8)
[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 9)
[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 10)
[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 11)
[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 12)
[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 13)
[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 14)
[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#af54b6062f33b99e418444700f3a823ef0214052 for pr-138952
[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/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/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#af54b6062f33b99e418444700f3a823ef0214052 for pr-138952
[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/test/cnf/prime4294967297.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime49.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime49.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/sqrt6889.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt7921.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt7921.sol
[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#af54b6062f33b99e418444700f3a823ef0214052 for pr-138952
[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/test/cnf/sqrt4489.sol
[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/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#af54b6062f33b99e418444700f3a823ef0214052 for pr-138952
[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/test/cnf/prime2209.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime2209.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime25.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime25.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime289.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime289.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime361.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime361.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime4.cnf
[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/prime4294967297.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime49.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime49.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/sqrt6889.sol
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt7921.cnf
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/sqrt7921.sol
[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/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#af54b6062f33b99e418444700f3a823ef0214052 for pr-138952
[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/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/sqrt63001.cnf
[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/sqrt6889.sol
[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/trace/reg0003.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] 


failed to checkout https://github.com/huskyii/satisfy-rs

Caused by:
    command failed: exit status: 128