[s-lambert]

Microsoft had their own CI service and it existed before GitHub Actions did, it was renamed Azure Dev Ops but it existed before GitHub Actions and it was largely similar from what I remember.