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