I watched the part I missed of the office hours. Thanks @seph for looking into Github Actions. In general I would say that it's favorable that the project has it's own CI system vs one that's specifically under our care. I'm not sure about some of the details, differences in disk space, cpu available, concurrent jobs, OS version and other features that Azure Pipelines provides being it kind of a separate interface.