2025-10-07 18:31.19: New job: Storing data for {
"repository": "opam-repo-ci",
"commit": "b8900c8deae4223a0e8cb345d3afb39cece46349",
"date": 1747765876.0
}
2025-10-07 18:31.19: Checking out commit b8900c8d. To reproduce:
git clone --recursive "https://github.com/ocurrent/opam-repo-ci.git" -b "master" && cd "opam-repo-ci" && git reset --hard b8900c8d
2025-10-07 18:31.19: Exec: "cp" "-a" "--" "/var/git/opam-repo-ci.git-966c0a574e58457a01a35f5271118f1595a1667d4ffb4194d477f34652b29cfc/.git"
"/tmp/git-checkout338d1480"
2025-10-07 18:31.19: Exec: "git" "-C" "/tmp/git-checkout338d1480" "submodule"
"deinit" "--force" "--all"
2025-10-07 18:31.19: Exec: "git" "-C" "/tmp/git-checkout338d1480" "reset"
"--hard" "-q" "b8900c8deae4223a0e8cb345d3afb39cece46349"
2025-10-07 18:31.19: Exec: "git" "-c" "protocol.file.allow=always" "-C"
"/tmp/git-checkout338d1480" "submodule" "update"
"--recursive" "--init" "--no-fetch"
2025-10-07 18:31.19: Trying to copy /tmp/git-checkout338d1480 in /var/store/opam-repo-ci
2025-10-07 18:31.19: Job succeeded