[INFO] cloning repository https://github.com/timEngbrocks/dione
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/timEngbrocks/dione" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FtimEngbrocks%2Fdione", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FtimEngbrocks%2Fdione'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 9f004c90d9040a40e0c576ab079d6c1bacde0f36
[INFO] checking timEngbrocks/dione/9f004c90d9040a40e0c576ab079d6c1bacde0f36 against master#a5db378dc14a40dd1580c27fb8362156446382c3 for pr-136490
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FtimEngbrocks%2Fdione" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  26% (425/1613)
Updating files:  27% (436/1613)
Updating files:  28% (452/1613)
Updating files:  28% (460/1613)
Updating files:  29% (468/1613)
Updating files:  30% (484/1613)
Updating files:  31% (501/1613)
Updating files:  32% (517/1613)
Updating files:  33% (533/1613)
Updating files:  34% (549/1613)
Updating files:  35% (565/1613)
Updating files:  36% (581/1613)
Updating files:  37% (597/1613)
Updating files:  38% (613/1613)
Updating files:  39% (630/1613)
Updating files:  40% (646/1613)
Updating files:  41% (662/1613)
Updating files:  42% (678/1613)
Updating files:  43% (694/1613)
Updating files:  44% (710/1613)
Updating files:  45% (726/1613)
Updating files:  46% (742/1613)
Updating files:  47% (759/1613)
Updating files:  48% (775/1613)
Updating files:  49% (791/1613)
Updating files:  50% (807/1613)
Updating files:  51% (823/1613)
Updating files:  52% (839/1613)
Updating files:  53% (855/1613)
Updating files:  54% (872/1613)
Updating files:  55% (888/1613)
Updating files:  56% (904/1613)
Updating files:  57% (920/1613)
Updating files:  58% (936/1613)
Updating files:  59% (952/1613)
Updating files:  60% (968/1613)
Updating files:  61% (984/1613)
Updating files:  62% (1001/1613)
Updating files:  63% (1017/1613)
Updating files:  64% (1033/1613)
Updating files:  65% (1049/1613)
Updating files:  66% (1065/1613)
Updating files:  67% (1081/1613)
Updating files:  68% (1097/1613)
Updating files:  69% (1113/1613)
Updating files:  70% (1130/1613)
Updating files:  71% (1146/1613)
Updating files:  72% (1162/1613)
Updating files:  73% (1178/1613)
Updating files:  74% (1194/1613)
Updating files:  75% (1210/1613)
Updating files:  76% (1226/1613)
error: unable to write file docs/doc/search-index.js
[INFO] [stderr] error: unable to write file docs/doc/settings.html
[INFO] [stderr] error: unable to write file docs/doc/src-files.js
[INFO] [stderr] fatal: cannot create directory at 'docs/doc/src': 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] 


failed to checkout https://github.com/timEngbrocks/dione

Caused by:
    command failed: exit status: 128