(for PR #28275)
2025-07-30 12:38.03: New job: Lint
2025-07-30 12:38.03: Checking out commit 66e60293. To reproduce:
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/28275/head" && git reset --hard 66e60293
2025-07-30 12:38.03: Exec: "cp" "-a" "--" "/var/lib/ocurrent/var/git/opam-repository.git-a0bc4b41ddb868605dc1500002c27cfa79faf4389fe53b6754817ea16b48d458/.git"
"/tmp/git-checkout3eaefdee"
2025-07-30 12:38.06: Exec: "git" "-C" "/tmp/git-checkout3eaefdee" "submodule"
"deinit" "--force" "--all"
2025-07-30 12:38.06: Exec: "git" "-C" "/tmp/git-checkout3eaefdee" "reset"
"--hard" "-q" "66e60293e0f8ab4582472efcfcea76dc9977ca83"
2025-07-30 12:38.08: Exec: "git" "-c" "protocol.file.allow=always" "-C"
"/tmp/git-checkout3eaefdee" "submodule" "update"
"--recursive" "--init" "--no-fetch"
2025-07-30 12:38.09: Exec: "git" "merge" "-q" "--" "f6368c68f94811eb2e5f105c731f2494a6e6fe04"
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 --opam-repository . coq.9.1+rc1:new=false coq-core.9.1+rc1:new=false coq-lsp.0.2.3+9.0:new=false coqide-server.9.1+rc1:new=false rocq-core.9.1+rc1:new=false rocq-devtools.9.1+rc1:new=true rocq-runtime.9.1+rc1:new=false rocqide.9.1+rc1:new=false
2025-07-30 12:38.09: Exec: "opam-ci-check" "lint" "--opam-repository"
"." "coq.9.1+rc1:new=false" "coq-core.9.1+rc1:new=false"
"coq-lsp.0.2.3+9.0:new=false" "coqide-server.9.1+rc1:new=false"
"rocq-core.9.1+rc1:new=false" "rocq-devtools.9.1+rc1:new=true"
"rocq-runtime.9.1+rc1:new=false" "rocqide.9.1+rc1:new=false"
Linting opam-repository at /tmp/git-checkout3eaefdee/. ...
Error in coq.9.1+rc1: No package source directory provided.
2025-07-30 12:38.47: Job failed: Error in coq.9.1+rc1: No package source directory provided.