[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 master#d7bd9cd469ff6871420007f091ef52fc32d2ca99 for pr-121417
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/huskyii/satisfy-rs on toolchain d7bd9cd469ff6871420007f091ef52fc32d2ca99
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d7bd9cd469ff6871420007f091ef52fc32d2ca99" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/huskyii/satisfy-rs
[INFO] finished tweaking git repo https://github.com/huskyii/satisfy-rs
[INFO] tweaked toml for git repo https://github.com/huskyii/satisfy-rs written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/huskyii/satisfy-rs already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d7bd9cd469ff6871420007f091ef52fc32d2ca99" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+d7bd9cd469ff6871420007f091ef52fc32d2ca99" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] e4cdc2b3efed1a33062d18269a08ccaf708053ff6a6d114eab19bf658c8a4654
[INFO] running `Command { std: "docker" "start" "-a" "e4cdc2b3efed1a33062d18269a08ccaf708053ff6a6d114eab19bf658c8a4654", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e4cdc2b3efed1a33062d18269a08ccaf708053ff6a6d114eab19bf658c8a4654", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e4cdc2b3efed1a33062d18269a08ccaf708053ff6a6d114eab19bf658c8a4654", kill_on_drop: false }`
[INFO] [stdout] e4cdc2b3efed1a33062d18269a08ccaf708053ff6a6d114eab19bf658c8a4654
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+d7bd9cd469ff6871420007f091ef52fc32d2ca99" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3e1931cdf3539b271eb6a98abfc1261cc87573fa8b9a976898f99ece4f5505b6
[INFO] running `Command { std: "docker" "start" "-a" "3e1931cdf3539b271eb6a98abfc1261cc87573fa8b9a976898f99ece4f5505b6", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.67
[INFO] [stdout] error: failed to write to `/opt/rustwide/target/debug/deps/rmeta8fMEh3/lib.rmeta`: No space left on device (os error 28)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `libc` (lib) due to 1 previous error
[INFO] running `Command { std: "docker" "inspect" "3e1931cdf3539b271eb6a98abfc1261cc87573fa8b9a976898f99ece4f5505b6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3e1931cdf3539b271eb6a98abfc1261cc87573fa8b9a976898f99ece4f5505b6", kill_on_drop: false }`
[INFO] [stdout] 3e1931cdf3539b271eb6a98abfc1261cc87573fa8b9a976898f99ece4f5505b6
[INFO] testing huskyii/satisfy-rs against try#393ef12c970fbc7f294cd96c35cb76f9591bc1d6 for pr-121417
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file 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] testing huskyii/satisfy-rs against try#393ef12c970fbc7f294cd96c35cb76f9591bc1d6 for pr-121417
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/scripts/colors.sh
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/arena.cpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/arena.hpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/assume.cpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/src/averages.cpp
[INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/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#393ef12c970fbc7f294cd96c35cb76f9591bc1d6 for pr-121417
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file 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/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#393ef12c970fbc7f294cd96c35cb76f9591bc1d6 for pr-121417
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file 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/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#393ef12c970fbc7f294cd96c35cb76f9591bc1d6 for pr-121417
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file 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] 
[ERROR] this task or one of its parent failed!
[ERROR] failed to checkout https://github.com/huskyii/satisfy-rs
[ERROR] caused by: command failed: exit status: 128
[ERROR] note: run with `RUST_BACKTRACE=1` to display a backtrace.