Re: Please enable CI for herdtools7

[Stéphane Glondu]

Le 26/02/2026 à 22:42, Sebastian Andrzej Siewior a écrit :

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?

Done, following instructions from:

  https://wiki.debian.org/SalsaCI


Cheers,

--
Stéphane