(for PR #25002)

2024-09-17 07:06.00: New job: Lint
2024-09-17 07:06.00: Waiting for resource in pool lint
2024-09-17 07:08.12: Got resource from pool lint
2024-09-17 07:08.12: Checking out commit 4d9fad21. To reproduce:
                       git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/25002/head" && git reset --hard 4d9fad21
2024-09-17 07:08.12: Exec: "cp" "-a" "--" "/var/lib/ocurrent/var/git/opam-repository.git-a0bc4b41ddb868605dc1500002c27cfa79faf4389fe53b6754817ea16b48d458/.git" 
                           "/tmp/git-checkout69e184f"
2024-09-17 07:08.13: Exec: "git" "-C" "/tmp/git-checkout69e184f" "submodule" 
                           "deinit" "--force" "--all"
2024-09-17 07:08.13: Exec: "git" "-C" "/tmp/git-checkout69e184f" "reset" 
                           "--hard" "-q" "4d9fad21a5bc93fd3b1cd19733ce12ee7f259505"
2024-09-17 07:08.21: Exec: "git" "-c" "protocol.file.allow=always" "-C" 
                           "/tmp/git-checkout69e184f" "submodule" "update" 
                           "--recursive" "--init" "--no-fetch"
2024-09-17 07:08.22: Exec: "git" "merge" "-q" "--" "accd28112a6751e427167bf0056618f09868d85f"
2024-09-17 07:08.28: Exec: "opam-ci-check" "lint" "--opam-repository" 
                           "." "--changed-packages" "llvm.16.0.6+nnp+fix-homebrew"
Linting opam-repository at /tmp/git-checkout69e184f/. ...
No errors
2024-09-17 07:08.51: Job succeeded