[INFO] cloning repository https://github.com/v4kst1z/TIP
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/v4kst1z/TIP" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fv4kst1z%2FTIP", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fv4kst1z%2FTIP'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 71322981a1532112fb88bf47f2c2a98933e23ba5
[INFO] checking v4kst1z/TIP against master#83dcdb3a5dad0ed1e3e1fadc848d3f7727b41aa5 for pr-128425
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fv4kst1z%2FTIP" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file examples/poly4.tip
[INFO] [stderr] error: unable to write file examples/ptr1.tip
[INFO] [stderr] error: unable to write file examples/ptr2.tip
[INFO] [stderr] error: unable to write file examples/ptr3.tip
[INFO] [stderr] error: unable to write file examples/ptr4.tip
[INFO] [stderr] error: unable to write file examples/ptr5.tip
[INFO] [stderr] error: unable to write file examples/ptr6.tip
[INFO] [stderr] error: unable to write file examples/ptr7.tip
[INFO] [stderr] error: unable to write file examples/reaching.tip
[INFO] [stderr] error: unable to write file examples/rec.tip
[INFO] [stderr] error: unable to write file examples/rectype.tip
[INFO] [stderr] error: unable to write file examples/shape.tip
[INFO] [stderr] error: unable to write file examples/signs.tip
[INFO] [stderr] error: unable to write file examples/signs_fun.tip
[INFO] [stderr] error: unable to write file examples/signs_fun_cfa.tip
[INFO] [stderr] error: unable to write file examples/simple1.tip
[INFO] [stderr] error: unable to write file examples/slicing.tip
[INFO] [stderr] error: unable to write file examples/steensgaard1.tip
[INFO] [stderr] error: unable to write file examples/steensgaard2.tip
[INFO] [stderr] error: unable to write file examples/steensgaard3.tip
[INFO] [stderr] error: unable to write file examples/succ.tip
[INFO] [stderr] error: unable to write file examples/symbolic1.tip
[INFO] [stderr] error: unable to write file examples/symbolic2.tip
[INFO] [stderr] error: unable to write file examples/t1.tip
[INFO] [stderr] error: unable to write file examples/t2.tip
[INFO] [stderr] error: unable to write file examples/testdiv.tip
[INFO] [stderr] error: unable to write file examples/verybusy.tip
[INFO] [stderr] error: unable to write file examples/while_short_if.tip
[INFO] [stderr] fatal: cannot create directory at 'lexer': 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/v4kst1z/TIP
[ERROR] caused by: command failed: exit status: 128
[ERROR] note: run with `RUST_BACKTRACE=1` to display a backtrace.