Skip to content

azure-pipelines: move to new MicroBuild pool (master cherry-pick)#1967

Merged
mjcheetham merged 1 commit into
masterfrom
newpool-master
May 12, 2026
Merged

azure-pipelines: move to new MicroBuild pool (master cherry-pick)#1967
mjcheetham merged 1 commit into
masterfrom
newpool-master

Commits

Commits on May 12, 2026