[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 1.85.0 for beta-1.86-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/scripts/build-and-test-all-configurations.sh [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/scripts/check-options-occur.sh [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/scripts/extend-solution.sh [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/scripts/generate-embedded-options-default-list.sh [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/scripts/generate-options-range-list.sh [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/scripts/get-git-id.sh [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/scripts/make-build-header.sh [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/scripts/make-src-release.sh [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/scripts/normalize-white-space.sh [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/scripts/prepare-sr2019-submission.sh [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/scripts/run-cadical-and-check-proof.sh [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/scripts/run-simplifier-and-extend-solution.sh [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/scripts/update-example-in-cadical-header-file.sh [INFO] [stderr] error: unable to write file cadical-sys/cadical-rel-1.2.1/scripts/update-version.sh [INFO] [stderr] fatal: cannot create directory at 'cadical-sys/cadical-rel-1.2.1/src': 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