mirage/mirage: PR #1304: Check that the package name respects opam conventions

@d49e97e

15/03/2022 15:52

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (40m45s)
✔️ arm64-debian-10-4.13 (8m01s)

History:

15/03/2022 15:52 ✔️ @d49e97e (57m22s)