feature: check package names are valid opam names #8331
Merged
This check has been archived and is scheduled for deletion.
Learn more about checks retention
DCO / DCO
succeeded
Sep 11, 2023 in 1s
DCO
All commits are signed off!
Loading