[INFO] cloning repository https://github.com/truchi/tagz
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/truchi/tagz" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftruchi%2Ftagz", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftruchi%2Ftagz'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 4575ea117bb854f5a5bab5a21ac6373f3c76750d
[INFO] checking truchi/tagz against master#040e2f8b9ff2d76fbe2146d6003e297ed4532088 for pr-143619
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftruchi%2Ftagz" "/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 src/generated/elements/col.rs
[INFO] [stderr] error: unable to write file src/generated/elements/colgroup.rs
[INFO] [stderr] error: unable to write file src/generated/elements/custom.rs
[INFO] [stderr] error: unable to write file src/generated/elements/data.rs
[INFO] [stderr] error: unable to write file src/generated/elements/datalist.rs
[INFO] [stderr] error: unable to write file src/generated/elements/dd.rs
[INFO] [stderr] error: unable to write file src/generated/elements/del.rs
[INFO] [stderr] error: unable to write file src/generated/elements/details.rs
[INFO] [stderr] error: unable to write file src/generated/elements/dfn.rs
[INFO] [stderr] error: unable to write file src/generated/elements/dialog.rs
[INFO] [stderr] error: unable to write file src/generated/elements/div.rs
[INFO] [stderr] error: unable to write file src/generated/elements/dl.rs
[INFO] [stderr] error: unable to write file src/generated/elements/dt.rs
[INFO] [stderr] error: unable to write file src/generated/elements/fieldset.rs
[INFO] [stderr] error: unable to write file src/generated/elements/figcaption.rs
[INFO] [stderr] error: unable to write file src/generated/elements/figure.rs
[INFO] [stderr] error: unable to write file src/generated/elements/footer.rs
[INFO] [stderr] error: unable to write file src/generated/elements/form.rs
[INFO] [stderr] error: unable to write file src/generated/elements/h1.rs
[INFO] [stderr] error: unable to write file src/generated/elements/h2.rs
[INFO] [stderr] error: unable to write file src/generated/elements/h3.rs
[INFO] [stderr] error: unable to write file src/generated/elements/h4.rs
[INFO] [stderr] error: unable to write file src/generated/elements/h5.rs
[INFO] [stderr] error: unable to write file src/generated/elements/h6.rs
[INFO] [stderr] error: unable to write file src/generated/elements/head.rs
[INFO] [stderr] error: unable to write file src/generated/elements/header.rs
[INFO] [stderr] error: unable to write file src/generated/elements/hgroup.rs
[INFO] [stderr] error: unable to write file src/generated/elements/hr.rs
[INFO] [stderr] error: unable to write file src/generated/elements/html.rs
[INFO] [stderr] error: unable to write file src/generated/elements/i.rs
[INFO] [stderr] error: unable to write file src/generated/elements/iframe.rs
[INFO] [stderr] error: unable to write file src/generated/elements/img.rs
[INFO] [stderr] error: unable to write file src/generated/elements/input.rs
[INFO] [stderr] error: unable to write file src/generated/elements/ins.rs
[INFO] [stderr] error: unable to write file src/generated/elements/kbd.rs
[INFO] [stderr] error: unable to write file src/generated/elements/label.rs
[INFO] [stderr] error: unable to write file src/generated/elements/legend.rs
[INFO] [stderr] error: unable to write file src/generated/elements/li.rs
[INFO] [stderr] error: unable to write file src/generated/elements/link.rs
[INFO] [stderr] error: unable to write file src/generated/elements/main.rs
[INFO] [stderr] error: unable to write file src/generated/elements/map.rs
[INFO] [stderr] error: unable to write file src/generated/elements/mark.rs
[INFO] [stderr] error: unable to write file src/generated/elements/menu.rs
[INFO] [stderr] error: unable to write file src/generated/elements/meta.rs
[INFO] [stderr] error: unable to write file src/generated/elements/meter.rs
[INFO] [stderr] error: unable to write file src/generated/elements/nav.rs
[INFO] [stderr] error: unable to write file src/generated/elements/noscript.rs
[INFO] [stderr] error: unable to write file src/generated/elements/object.rs
[INFO] [stderr] error: unable to write file src/generated/elements/ol.rs
[INFO] [stderr] error: unable to write file src/generated/elements/optgroup.rs
[INFO] [stderr] error: unable to write file src/generated/elements/option.rs
[INFO] [stderr] error: unable to write file src/generated/elements/output.rs
[INFO] [stderr] error: unable to write file src/generated/elements/p.rs
[INFO] [stderr] error: unable to write file src/generated/elements/picture.rs
[INFO] [stderr] error: unable to write file src/generated/elements/pre.rs
[INFO] [stderr] error: unable to write file src/generated/elements/progress.rs
[INFO] [stderr] error: unable to write file src/generated/elements/q.rs
[INFO] [stderr] error: unable to write file src/generated/elements/rp.rs
[INFO] [stderr] error: unable to write file src/generated/elements/rt.rs
[INFO] [stderr] error: unable to write file src/generated/elements/ruby.rs
[INFO] [stderr] error: unable to write file src/generated/elements/s.rs
[INFO] [stderr] error: unable to write file src/generated/elements/samp.rs
[INFO] [stderr] error: unable to write file src/generated/elements/script.rs
[INFO] [stderr] error: unable to write file src/generated/elements/search.rs
[INFO] [stderr] error: unable to write file src/generated/elements/section.rs
[INFO] [stderr] error: unable to write file src/generated/elements/select.rs
[INFO] [stderr] error: unable to write file src/generated/elements/slot.rs
[INFO] [stderr] error: unable to write file src/generated/elements/small.rs
[INFO] [stderr] error: unable to write file src/generated/elements/source.rs
[INFO] [stderr] error: unable to write file src/generated/elements/span.rs
[INFO] [stderr] error: unable to write file src/generated/elements/strong.rs
[INFO] [stderr] error: unable to write file src/generated/elements/style.rs
[INFO] [stderr] error: unable to write file src/generated/elements/sub.rs
[INFO] [stderr] error: unable to write file src/generated/elements/summary.rs
[INFO] [stderr] error: unable to write file src/generated/elements/sup.rs
[INFO] [stderr] error: unable to write file src/generated/elements/table.rs
[INFO] [stderr] error: unable to write file src/generated/elements/tbody.rs
[INFO] [stderr] error: unable to write file src/generated/elements/td.rs
[INFO] [stderr] error: unable to write file src/generated/elements/template.rs
[INFO] [stderr] error: unable to write file src/generated/elements/textarea.rs
[INFO] [stderr] error: unable to write file src/generated/elements/tfoot.rs
[INFO] [stderr] error: unable to write file src/generated/elements/th.rs
[INFO] [stderr] error: unable to write file src/generated/elements/thead.rs
[INFO] [stderr] error: unable to write file src/generated/elements/time.rs
[INFO] [stderr] error: unable to write file src/generated/elements/title.rs
[INFO] [stderr] error: unable to write file src/generated/elements/tr.rs
[INFO] [stderr] error: unable to write file src/generated/elements/track.rs
[INFO] [stderr] error: unable to write file src/generated/elements/u.rs
[INFO] [stderr] error: unable to write file src/generated/elements/ul.rs
[INFO] [stderr] error: unable to write file src/generated/elements/var.rs
[INFO] [stderr] error: unable to write file src/generated/elements/video.rs
[INFO] [stderr] error: unable to write file src/generated/elements/wbr.rs
[INFO] [stderr] error: unable to write file src/generated/mod.rs
[INFO] [stderr] error: unable to write file src/lib.rs
[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/truchi/tagz

Caused by:
    command failed: exit status: 128