points by planewave 1 year ago No, from the documentation it seems they share a lot of infrastructure between GitHub Actions and Azure DevOps pipelines.