Hi,

I pushed the herdtools7 package to
        https://salsa.debian.org/ocaml-team/herdtools7

but I can't enable the CI. I added the debian/salsa-ci.yml file. Could
someone please enable it?

Sebastian

Reply via email to