[INFO] cloning repository https://github.com/josojo/zksnark-timings
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/josojo/zksnark-timings" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjosojo%2Fzksnark-timings", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjosojo%2Fzksnark-timings'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 8da9df11bd0e5c308d26d5bc5acabf3b8482feb3
[INFO] checking josojo/zksnark-timings against try#a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d for pr-145342
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjosojo%2Fzksnark-timings" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] fatal: could not create leading directories of '/workspace/builds/worker-4-tc2/source': No space left on device
[INFO] checking josojo/zksnark-timings against try#a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d for pr-145342
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjosojo%2Fzksnark-timings" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] fatal: could not create leading directories of '/workspace/builds/worker-4-tc2/source': No space left on device
[INFO] checking josojo/zksnark-timings against try#a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d for pr-145342
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjosojo%2Fzksnark-timings" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] fatal: could not create leading directories of '/workspace/builds/worker-4-tc2/source': No space left on device
[INFO] checking josojo/zksnark-timings against try#a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d for pr-145342
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjosojo%2Fzksnark-timings" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] fatal: could not create leading directories of '/workspace/builds/worker-4-tc2/source': No space left on device
[INFO] checking josojo/zksnark-timings against try#a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d for pr-145342
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjosojo%2Fzksnark-timings" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] fatal: could not create leading directories of '/workspace/builds/worker-4-tc2/source': No space left on device


failed to checkout https://github.com/josojo/zksnark-timings

Caused by:
    command failed: exit status: 128