[INFO] cloning repository https://github.com/southball/creusot-devcontainer
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/southball/creusot-devcontainer" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsouthball%2Fcreusot-devcontainer", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsouthball%2Fcreusot-devcontainer'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 055b7735e21e893da1d93803eb8f1a27a112ebd8
[INFO] building southball/creusot-devcontainer against try#8b8eff55bd72abbb57167bc42222a7f91d41cb0d for pr-142134-abi-ast-error
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsouthball%2Fcreusot-devcontainer" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/southball/creusot-devcontainer on toolchain 8b8eff55bd72abbb57167bc42222a7f91d41cb0d
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8b8eff55bd72abbb57167bc42222a7f91d41cb0d" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/southball/creusot-devcontainer
[INFO] finished tweaking git repo https://github.com/southball/creusot-devcontainer
[INFO] tweaked toml for git repo https://github.com/southball/creusot-devcontainer written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/southball/creusot-devcontainer already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8b8eff55bd72abbb57167bc42222a7f91d41cb0d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr] error: failed to get `creusot-contracts` as a dependency of package `add_one v0.1.0 (/workspace/builds/worker-4-tc2/source)`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to load source for dependency `creusot-contracts`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   Unable to update /creusot/creusot-contracts
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to read `/creusot/creusot-contracts/Cargo.toml`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   No such file or directory (os error 2)
[INFO] building southball/creusot-devcontainer against try#8b8eff55bd72abbb57167bc42222a7f91d41cb0d for pr-142134-abi-ast-error
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsouthball%2Fcreusot-devcontainer" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to append to '/workspace/builds/worker-4-tc2/source/.git/logs/refs/remotes/origin/HEAD': No space left on device
[INFO] [stderr] error: unable to write symref for HEAD: No space left on device
[INFO] [stderr] fatal: unable to update HEAD
[INFO] building southball/creusot-devcontainer against try#8b8eff55bd72abbb57167bc42222a7f91d41cb0d for pr-142134-abi-ast-error
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsouthball%2Fcreusot-devcontainer" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/southball/creusot-devcontainer on toolchain 8b8eff55bd72abbb57167bc42222a7f91d41cb0d
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8b8eff55bd72abbb57167bc42222a7f91d41cb0d" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/southball/creusot-devcontainer
[INFO] finished tweaking git repo https://github.com/southball/creusot-devcontainer
[INFO] tweaked toml for git repo https://github.com/southball/creusot-devcontainer written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/southball/creusot-devcontainer already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8b8eff55bd72abbb57167bc42222a7f91d41cb0d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] error: failed to get `creusot-contracts` as a dependency of package `add_one v0.1.0 (/workspace/builds/worker-4-tc2/source)`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to load source for dependency `creusot-contracts`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   Unable to update /creusot/creusot-contracts
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to read `/creusot/creusot-contracts/Cargo.toml`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   No such file or directory (os error 2)
[INFO] building southball/creusot-devcontainer against try#8b8eff55bd72abbb57167bc42222a7f91d41cb0d for pr-142134-abi-ast-error
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsouthball%2Fcreusot-devcontainer" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] error: failed to write new configuration file /workspace/builds/worker-4-tc2/source/.git/config.lock
[INFO] [stderr] fatal: could not set 'core.repositoryformatversion' to '0'
[INFO] building southball/creusot-devcontainer against try#8b8eff55bd72abbb57167bc42222a7f91d41cb0d for pr-142134-abi-ast-error
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsouthball%2Fcreusot-devcontainer" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] fatal: update_ref failed for ref 'HEAD': cannot update the ref 'refs/heads/main': unable to append to '/workspace/builds/worker-4-tc2/source/.git/logs/refs/heads/main': No space left on device


failed to checkout https://github.com/southball/creusot-devcontainer

Caused by:
    command failed: exit status: 128