[INFO] cloning repository https://github.com/jov4n/url2big
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/jov4n/url2big" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjov4n%2Furl2big", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjov4n%2Furl2big'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] b9c78d47ad939ef5c621955b8b29ae17e78e233a
[INFO] checking jov4n/url2big against master#a9e7b30487235621751cc628f170c0f15fb215c4 for pr-136539
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjov4n%2Furl2big" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file target/debug/build/num-integer-6bdd13dd0bf1f145/build-script-build
[INFO] [stderr] error: unable to write file target/debug/build/num-integer-6bdd13dd0bf1f145/build_script_build-6bdd13dd0bf1f145
[INFO] [stderr] error: unable to write file target/debug/build/num-integer-6bdd13dd0bf1f145/build_script_build-6bdd13dd0bf1f145.d
[INFO] [stderr] Updating files:  66% (965/1451)
Updating files:  67% (973/1451)
Updating files:  68% (987/1451)
Updating files:  68% (989/1451)
Updating files:  69% (1002/1451)
Updating files:  70% (1016/1451)
Updating files:  71% (1031/1451)
Updating files:  72% (1045/1451)
Updating files:  73% (1060/1451)
Updating files:  74% (1074/1451)
Updating files:  75% (1089/1451)
Updating files:  76% (1103/1451)
Updating files:  76% (1113/1451)
Updating files:  77% (1118/1451)
Updating files:  78% (1132/1451)
Updating files:  79% (1147/1451)
Updating files:  80% (1161/1451)
Updating files:  81% (1176/1451)
Updating files:  82% (1190/1451)
Updating files:  82% (1195/1451)
Updating files:  83% (1205/1451)
Updating files:  84% (1219/1451)
Updating files:  85% (1234/1451)
Updating files:  86% (1248/1451)
Updating files:  87% (1263/1451)
Updating files:  88% (1277/1451)
Updating files:  89% (1292/1451)
Updating files:  90% (1306/1451)
Updating files:  91% (1321/1451)
Updating files:  92% (1335/1451)
Updating files:  93% (1350/1451)
Updating files:  94% (1364/1451)
Updating files:  95% (1379/1451)
Updating files:  96% (1393/1451)
Updating files:  97% (1408/1451)
Updating files:  98% (1422/1451)
Updating files:  99% (1437/1451)
Updating files:  99% (1450/1451)
Updating files: 100% (1451/1451)
Updating files: 100% (1451/1451), done.
[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/jov4n/url2big

Caused by:
    command failed: exit status: 128