Fix failing Windows host build, ninja not found#2670

Merged

slaff merged 1 commit intoSmingHub:developfrom mikee47:fix/ci-missing-ninja

Oct 11, 2023

+2

Commits on Oct 11, 2023

Fix failing Windows host build, ninja no longer available (it seems) from Windows 2022 server image 20230918.1.
mikee47
committed