[INFO] cloning repository https://github.com/fzaiser/genfer
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/fzaiser/genfer" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffzaiser%2Fgenfer", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffzaiser%2Fgenfer'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] d132c76763d884761b9fc3c884628696de8e88ad
[INFO] checking fzaiser/genfer against try#b32fc44666c052e7cf07ab471bfb6f9ec571902f for pr-138676
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffzaiser%2Fgenfer" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file benchmarks/neurips2023/exact/digitRecognition/digitRecognition_original.psi
[INFO] [stderr] error: unable to write file benchmarks/neurips2023/exact/digitRecognition/generate.py
[INFO] [stderr] fatal: cannot create directory at 'benchmarks/neurips2023/exact/evidence1': 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 fzaiser/genfer against try#b32fc44666c052e7cf07ab471bfb6f9ec571902f for pr-138676
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffzaiser%2Fgenfer" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file src/generating_function.rs
[INFO] [stderr] error: unable to write file src/interval.rs
[INFO] [stderr] error: unable to write file src/lib.rs
[INFO] [stderr] error: unable to write file test/expect/former_bugs/stochastic-branching-observe-leq.expect
[INFO] [stderr] error: unable to write file test/expect/former_bugs/stochastic-branching-observe-leq.sgcl
[INFO] [stderr] error: unable to write file test/expect/former_bugs/substitute-linear-gf-only-same-var.expect
[INFO] [stderr] error: unable to write file test/expect/former_bugs/substitute-linear-gf-only-same-var.sgcl
[INFO] [stderr] error: unable to write file test/expect/former_bugs/unused-zero-var-nested-inference.expect
[INFO] [stderr] error: unable to write file test/expect/former_bugs/unused-zero-var-nested-inference.sgcl
[INFO] [stderr] error: unable to write file test/expect/former_bugs/var_compare_ge_limit_1.expect
[INFO] [stderr] error: unable to write file test/expect/former_bugs/var_compare_ge_limit_1.sgcl
[INFO] [stderr] error: unable to write file test/expect/former_bugs/zero_measure.expect
[INFO] [stderr] error: unable to write file test/expect/former_bugs/zero_measure.sgcl
[INFO] [stderr] fatal: cannot create directory at 'test/expect/if': 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 fzaiser/genfer against try#b32fc44666c052e7cf07ab471bfb6f9ec571902f for pr-138676
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffzaiser%2Fgenfer" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file test/expect/if/var_compare_eq.sgcl
[INFO] [stderr] error: unable to write file test/expect/if/var_compare_ge.expect
[INFO] [stderr] error: unable to write file test/expect/if/var_compare_ge.sgcl
[INFO] [stderr] error: unable to write file test/expect/if/var_compare_gt.expect
[INFO] [stderr] error: unable to write file test/expect/if/var_compare_gt.sgcl
[INFO] [stderr] error: unable to write file test/expect/if/var_compare_le.expect
[INFO] [stderr] error: unable to write file test/expect/if/var_compare_le.sgcl
[INFO] [stderr] error: unable to write file test/expect/if/var_compare_lt.expect
[INFO] [stderr] error: unable to write file test/expect/if/var_compare_lt.sgcl
[INFO] [stderr] error: unable to write file test/expect/if/var_compare_neq.expect
[INFO] [stderr] error: unable to write file test/expect/if/var_compare_neq.sgcl
[INFO] [stderr] fatal: cannot create directory at 'test/expect/normalize': 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 fzaiser/genfer against try#b32fc44666c052e7cf07ab471bfb6f9ec571902f for pr-138676
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffzaiser%2Fgenfer" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file test/expect/assign/decrement.sgcl
[INFO] [stderr] error: unable to write file test/expect/assign/decrement2.expect
[INFO] [stderr] error: unable to write file test/expect/assign/decrement2.sgcl
[INFO] [stderr] error: unable to write file test/expect/assign/self-add-assign-cont.expect
[INFO] [stderr] error: unable to write file test/expect/assign/self-add-assign-cont.sgcl
[INFO] [stderr] error: unable to write file test/expect/assign/self-add-assign.expect
[INFO] [stderr] error: unable to write file test/expect/assign/self-add-assign.sgcl
[INFO] [stderr] error: unable to write file test/expect/assign/self-assign-cont.expect
[INFO] [stderr] error: unable to write file test/expect/assign/self-assign-cont.sgcl
[INFO] [stderr] error: unable to write file test/expect/assign/self-assign.expect
[INFO] [stderr] error: unable to write file test/expect/assign/self-assign.sgcl
[INFO] [stderr] fatal: cannot create directory at 'test/expect/examples': 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 fzaiser/genfer against try#b32fc44666c052e7cf07ab471bfb6f9ec571902f for pr-138676
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffzaiser%2Fgenfer" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file benchmarks/neurips2023/exact/digitRecognition/digitRecognition.sgcl
[INFO] [stderr] error: unable to write file benchmarks/neurips2023/exact/digitRecognition/digitRecognition_original.dice
[INFO] [stderr] error: unable to write file benchmarks/neurips2023/exact/digitRecognition/digitRecognition_original.psi
[INFO] [stderr] error: unable to write file benchmarks/neurips2023/exact/digitRecognition/generate.py
[INFO] [stderr] fatal: unable to checkout working tree
[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/fzaiser/genfer

Caused by:
    command failed: exit status: 128