Over the next few weeks we will conduct the migration to github actions.
We will do this gradually; first enabling it only for pushes to the master branch to gather data, and then bit by bit extend it to cover PRs as well.
You can expect this to conclude within the next 2-3 weeks.During this time we will siphon some capacity from the azure workers, so CI may take a bit longer until the transition is complete.
