search

ocurrent / opam-repo-ci

An OCurrent pipeline for testing submissions to opam-repository
19 stars 21 forks source link

New lint: disallow pin-depends to be present. #306

Closed hannesm closed 1 month ago

hannesm commented 1 month ago

The opam-repository should not carry any pin-depends. Sometimes such opam packages are submitted since they come from development repositories where related libraries need to be pinned. It is tedious (and error-prone) to rely on humans checking for the not-occurence of pin-depends.

hannesm commented 1 month ago

Thanks. Any chance this and the earlier check could be pushed to production?

benmandrew commented 1 month ago

Done. Let me know if you see any issues.