Opam-CI

(not at the head of any monitored branch or PR)
2025-06-10 20:11.32: New job: Lint
2025-06-10 20:11.32: Checking out commit 1dd34381. To reproduce:
                       git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/27958/head" && git reset --hard 1dd34381
2025-06-10 20:11.32: Exec: "cp" "-a" "--" "/var/lib/ocurrent/var/git/opam-repository.git-a0bc4b41ddb868605dc1500002c27cfa79faf4389fe53b6754817ea16b48d458/.git" 
                           "/tmp/git-checkout34b0cf2e"
2025-06-10 20:11.37: Exec: "git" "-C" "/tmp/git-checkout34b0cf2e" "submodule" 
                           "deinit" "--force" "--all"
2025-06-10 20:11.37: Exec: "git" "-C" "/tmp/git-checkout34b0cf2e" "reset" 
                           "--hard" "-q" "1dd34381f83a9902bfe6fd2d4f81a09c9e42b450"
2025-06-10 20:11.40: Exec: "git" "-c" "protocol.file.allow=always" "-C" 
                           "/tmp/git-checkout34b0cf2e" "submodule" "update" 
                           "--recursive" "--init" "--no-fetch"
2025-06-10 20:11.40: Exec: "git" "merge" "-q" "--" "6db96b377f993aa0c7ffb5c06737929e583f3305"

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 . base_quickcheck.v0.17.1:new=false hardcaml.v0.17.0:new=false ppx_bench.v0.17.1:new=false ppx_bin_prot.v0.17.1:new=false ppx_derive_at_runtime.v0.17.0:new=false ppx_diff.v0.17.1:new=false ppx_expect.v0.17.3:new=false ppx_globalize.v0.17.0:new=false ppx_globalize.v0.17.2:new=false ppx_inline_test.v0.17.1:new=false ppx_jsonaf_conv.v0.17.0:new=false ppx_let.v0.17.1:new=false ppx_optcomp.v0.17.1:new=false ppx_quick_test.v0.17.0:new=false ppx_sexp_conv.v0.17.1:new=false ppx_stable.v0.17.1:new=false ppx_tydi.v0.17.1:new=false ppx_typed_fields.v0.17.0:new=false ppx_typerep_conv.v0.17.1:new=false ppx_variants_conv.v0.17.1:new=false ppxlib_jane.v0.17.3:new=false streamable.v0.17.0:new=false

2025-06-10 20:11.41: Exec: "opam-ci-check" "lint" "--opam-repository" 
                           "." "base_quickcheck.v0.17.1:new=false" "hardcaml.v0.17.0:new=false" 
                           "ppx_bench.v0.17.1:new=false" "ppx_bin_prot.v0.17.1:new=false" 
                           "ppx_derive_at_runtime.v0.17.0:new=false" 
                           "ppx_diff.v0.17.1:new=false" "ppx_expect.v0.17.3:new=false" 
                           "ppx_globalize.v0.17.0:new=false" "ppx_globalize.v0.17.2:new=false" 
                           "ppx_inline_test.v0.17.1:new=false" "ppx_jsonaf_conv.v0.17.0:new=false" 
                           "ppx_let.v0.17.1:new=false" "ppx_optcomp.v0.17.1:new=false" 
                           "ppx_quick_test.v0.17.0:new=false" "ppx_sexp_conv.v0.17.1:new=false" 
                           "ppx_stable.v0.17.1:new=false" "ppx_tydi.v0.17.1:new=false" 
                           "ppx_typed_fields.v0.17.0:new=false" "ppx_typerep_conv.v0.17.1:new=false" 
                           "ppx_variants_conv.v0.17.1:new=false" "ppxlib_jane.v0.17.3:new=false" 
                           "streamable.v0.17.0:new=false"
Linting opam-repository at /tmp/git-checkout34b0cf2e/. ...
Error in ppx_derive_at_runtime.v0.17.0:            warning 47: Synopsis should start with a capital and not end with a dot
Error in ppx_diff.v0.17.1:            warning 47: Synopsis should start with a capital and not end with a dot
Error in ppx_quick_test.v0.17.0:            warning 47: Synopsis should start with a capital and not end with a dot
Error in ppx_tydi.v0.17.1:            warning 47: Synopsis should start with a capital and not end with a dot
Error in streamable.v0.17.0:            warning 47: Synopsis should start with a capital and not end with a dot
2025-06-10 20:12.26: Job failed: Error in streamable.v0.17.0:            warning 47: Synopsis should start with a capital and not end with a dot
Error in ppx_tydi.v0.17.1:            warning 47: Synopsis should start with a capital and not end with a dot
Error in ppx_quick_test.v0.17.0:            warning 47: Synopsis should start with a capital and not end with a dot
Error in ppx_diff.v0.17.1:            warning 47: Synopsis should start with a capital and not end with a dot
Error in ppx_derive_at_runtime.v0.17.0:            warning 47: Synopsis should start with a capital and not end with a dot