On 7/17/25 2:39 PM, Marco Martin wrote:
Should it already be moved to another more public-facing repo to start
to setup CI ?

No, you can setup CI even in your personal repo.

Cheers,
Vlad

Reply via email to