(for PR #29259)

2026-01-21 14:06.24: New job: Lint
2026-01-21 14:06.24: Checking out commit 6e8e829f. To reproduce:
                       git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29259/head" && git reset --hard 6e8e829f
2026-01-21 14:06.24: Exec: "cp" "-a" "--" "/var/lib/ocurrent/var/git/opam-repository.git-a0bc4b41ddb868605dc1500002c27cfa79faf4389fe53b6754817ea16b48d458/.git" 
                           "/tmp/git-checkout38fb71e2"
2026-01-21 14:06.28: Exec: "git" "-C" "/tmp/git-checkout38fb71e2" "submodule" 
                           "deinit" "--force" "--all"
2026-01-21 14:06.28: Exec: "git" "-C" "/tmp/git-checkout38fb71e2" "reset" 
                           "--hard" "-q" "6e8e829f522606bcc768caf41c97751270c5398f"
2026-01-21 14:06.30: Exec: "git" "-c" "protocol.file.allow=always" "-C" 
                           "/tmp/git-checkout38fb71e2" "submodule" "update" 
                           "--recursive" "--init" "--no-fetch"
2026-01-21 14:06.30: Exec: "git" "merge" "-q" "--" "10a02a697b08f6d78a6c4c2cb9a76136afc7776d"

To reproduce locally, on the opam-repository PR branch, run: 

    opam pin opam-ci-check git+https://github.com/ocurrent/opam-repo-ci.git#live
    opam-ci-check lint --machine-readable --opam-repository . binsec_codex.1.0-rc4:new=true codex.1.0~rc4:new=true frama_c_codex.1.0-rc4:new=true

2026-01-21 14:06.31: Exec: "opam-ci-check" "lint" "--machine-readable" 
                           "--opam-repository" "." "binsec_codex.1.0-rc4:new=true" 
                           "codex.1.0~rc4:new=true" "frama_c_codex.1.0-rc4:new=true"
Linting opam-repository at /tmp/git-checkout38fb71e2/. ...
No errors
2026-01-21 14:07.02: Job succeeded