Hi,
I pushed the herdtools7 package to
https://salsa.debian.org/ocaml-team/herdtools7but I can't enable the CI. I added the debian/salsa-ci.yml file. Could someone please enable it? Sebastian
Hi,
I pushed the herdtools7 package to
https://salsa.debian.org/ocaml-team/herdtools7but I can't enable the CI. I added the debian/salsa-ci.yml file. Could someone please enable it? Sebastian