[INFO] cloning repository https://github.com/shnarazk/SAT-bench [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/shnarazk/SAT-bench" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] ed9c111a6ef12cf352adc4517bf9af20ced11275 [INFO] checking shnarazk/SAT-bench against try#121a90d34197f711021eeb158e7f4184b8be8ceb for pr-140313 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] error: copy-fd: write returned: No space left on device [INFO] [stderr] fatal: cannot copy '/usr/share/git-core/templates/hooks/pre-receive.sample' to '/workspace/builds/worker-7-tc2/source/.git/hooks/pre-receive.sample': No space left on device [INFO] checking shnarazk/SAT-bench against try#121a90d34197f711021eeb158e7f4184b8be8ceb for pr-140313 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] /workspace/builds/worker-7-tc2/source/.git: No space left on device [INFO] checking shnarazk/SAT-bench against try#121a90d34197f711021eeb158e7f4184b8be8ceb for pr-140313 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-016.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-017.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-018.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-019.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-02.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-020.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-021.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-022.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-023.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-024.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-025.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-026.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-027.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-028.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-029.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-03.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-030.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-031.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-032.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-033.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-034.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-035.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-036.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-037.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-038.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-039.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-04.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-040.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-041.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-042.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-043.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-044.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-045.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-046.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-047.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-048.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-049.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-05.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-050.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-051.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-052.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-053.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-054.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-055.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-056.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-057.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-058.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-059.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-06.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-060.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-061.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-062.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-063.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-064.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-065.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-066.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-067.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-068.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-069.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-07.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-070.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-071.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-072.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-073.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-074.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-075.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-076.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-077.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-078.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-079.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-08.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-080.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-081.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-082.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-083.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-084.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-085.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-086.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-087.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-088.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-089.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-09.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-090.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-091.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-092.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-093.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-094.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-095.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-096.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-097.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-098.cnf [INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-099.cnf [INFO] [stderr] fatal: cannot create directory at '3-SAT/UF125': 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 shnarazk/SAT-bench against try#121a90d34197f711021eeb158e7f4184b8be8ceb for pr-140313 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] error: failed to write new configuration file /workspace/builds/worker-7-tc2/source/.git/config.lock [INFO] [stderr] fatal: could not set 'core.bare' to 'false' [INFO] checking shnarazk/SAT-bench against try#121a90d34197f711021eeb158e7f4184b8be8ceb for pr-140313 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] /workspace/builds/worker-7-tc2/source/.git/refs: No space left on device failed to checkout https://github.com/shnarazk/SAT-bench Caused by: command failed: exit status: 1