[INFO] cloning repository https://github.com/hmzakhalid/lean-imt
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/hmzakhalid/lean-imt" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhmzakhalid%2Flean-imt", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhmzakhalid%2Flean-imt'...
[INFO] [stderr] fatal: sha1 file '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhmzakhalid%2Flean-imt/objects/pack/tmp_rev_BD6vyj' write error. Out of diskspace
[INFO] [stderr] fatal: fetch-pack: invalid index-pack output


this task or one of its parent failed: failed to clone https://github.com/hmzakhalid/lean-imt

Caused by:
    command failed: exit status: 128