[INFO] cloning repository https://github.com/hanihaniyours/chain-fusion-starter [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/hanihaniyours/chain-fusion-starter" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhanihaniyours%2Fchain-fusion-starter", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhanihaniyours%2Fchain-fusion-starter'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] e4b5f814c732f93d5b408f4f7a7b2781003e019a [INFO] checking hanihaniyours/chain-fusion-starter against try#802c9b5f98c16ec9d24cdfd517f740f1f3df0e29 for pr-137728 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhanihaniyours%2Fchain-fusion-starter" "/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 write file lib/openzeppelin-contracts/certora/harnesses/DoubleEndedQueueHarness.sol [INFO] [stderr] error: unable to write file lib/openzeppelin-contracts/certora/harnesses/ERC20FlashMintHarness.sol [INFO] [stderr] error: unable to write file lib/openzeppelin-contracts/certora/harnesses/ERC20PermitHarness.sol [INFO] [stderr] error: unable to write file lib/openzeppelin-contracts/certora/harnesses/ERC20WrapperHarness.sol [INFO] [stderr] error: unable to write file lib/openzeppelin-contracts/certora/harnesses/ERC3156FlashBorrowerHarness.sol [INFO] [stderr] error: unable to write file lib/openzeppelin-contracts/certora/harnesses/ERC721Harness.sol [INFO] [stderr] error: unable to write file lib/openzeppelin-contracts/certora/harnesses/ERC721ReceiverHarness.sol [INFO] [stderr] error: unable to write file lib/openzeppelin-contracts/certora/harnesses/EnumerableMapHarness.sol [INFO] [stderr] error: unable to write file lib/openzeppelin-contracts/certora/harnesses/EnumerableSetHarness.sol [INFO] [stderr] error: unable to write file lib/openzeppelin-contracts/certora/harnesses/InitializableHarness.sol [INFO] [stderr] error: unable to write file lib/openzeppelin-contracts/certora/harnesses/NoncesHarness.sol [INFO] [stderr] error: unable to write file lib/openzeppelin-contracts/certora/harnesses/Ownable2StepHarness.sol [INFO] [stderr] error: unable to write file lib/openzeppelin-contracts/certora/harnesses/OwnableHarness.sol [INFO] [stderr] error: unable to write file lib/openzeppelin-contracts/certora/harnesses/PausableHarness.sol [INFO] [stderr] error: unable to write file lib/openzeppelin-contracts/certora/harnesses/TimelockControllerHarness.sol [INFO] [stderr] fatal: cannot create directory at 'lib/openzeppelin-contracts/certora/reports': 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] [INFO] checking hanihaniyours/chain-fusion-starter against try#802c9b5f98c16ec9d24cdfd517f740f1f3df0e29 for pr-137728 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhanihaniyours%2Fchain-fusion-starter" "/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 write file lib/openzeppelin-contracts/audits/2023-10-v5.0.pdf [INFO] [stderr] error: unable to write file lib/openzeppelin-contracts/audits/README.md [INFO] [stderr] fatal: cannot create directory at 'lib/openzeppelin-contracts/certora': 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] [INFO] checking hanihaniyours/chain-fusion-starter against try#802c9b5f98c16ec9d24cdfd517f740f1f3df0e29 for pr-137728 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhanihaniyours%2Fchain-fusion-starter" "/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 write file lib/openzeppelin-contracts/certora/README.md [INFO] [stderr] fatal: cannot create directory at 'lib/openzeppelin-contracts/certora/diff': 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] [INFO] checking hanihaniyours/chain-fusion-starter against try#802c9b5f98c16ec9d24cdfd517f740f1f3df0e29 for pr-137728 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhanihaniyours%2Fchain-fusion-starter" "/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 write file lib/openzeppelin-contracts/audits/2023-10-v5.0.pdf [INFO] [stderr] error: unable to write file lib/openzeppelin-contracts/audits/README.md [INFO] [stderr] fatal: cannot create directory at 'lib/openzeppelin-contracts/certora': 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] [INFO] checking hanihaniyours/chain-fusion-starter against try#802c9b5f98c16ec9d24cdfd517f740f1f3df0e29 for pr-137728 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhanihaniyours%2Fchain-fusion-starter" "/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 write file lib/openzeppelin-contracts/audits/2023-10-v5.0.pdf [INFO] [stderr] error: unable to write file lib/openzeppelin-contracts/audits/README.md [INFO] [stderr] fatal: cannot create directory at 'lib/openzeppelin-contracts/certora': 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/hanihaniyours/chain-fusion-starter Caused by: command failed: exit status: 128