[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] testing huskyii/satisfy-rs against try#a7ce54db9b096bd1098d07c645b489195a667c9f for pr-137940 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/mbt/makefile [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/mbt/run.sh [INFO] [stderr] fatal: cannot create directory at 'cadical-sys/cadical-rel-1.2.1/test/trace': 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] testing huskyii/satisfy-rs against try#a7ce54db9b096bd1098d07c645b489195a667c9f for pr-137940 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime1369.cnf [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime1369.sol [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime1681.cnf [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime1681.sol [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime169.cnf [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime169.sol [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime1849.cnf [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/cnf/prime1849.sol [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/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] testing huskyii/satisfy-rs against try#a7ce54db9b096bd1098d07c645b489195a667c9f for pr-137940 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [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/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/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] testing huskyii/satisfy-rs against try#a7ce54db9b096bd1098d07c645b489195a667c9f for pr-137940 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [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] testing huskyii/satisfy-rs against try#a7ce54db9b096bd1098d07c645b489195a667c9f for pr-137940 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-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/sqrt11449.sol [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/test/mbt/run.sh [INFO] [stderr] fatal: cannot create directory at 'cadical-sys/cadical-rel-1.2.1/test/trace': 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