From b2c51a5b9ed4339c7f6bd75500e9632bdf1a88b9 Mon Sep 17 00:00:00 2001
From: Chocobo1 <Chocobo1@users.noreply.github.com>
Date: Sat, 18 Nov 2023 15:04:59 +0800
Subject: [PATCH] GHA CI: use built-in ninja

`choco install` is slow: A basically simple download and extract operation takes 20sec compared to ~3sec
when done manually. So we add a conditional for it.
---
 .github/workflows/ci_windows.yaml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci_windows.yaml b/.github/workflows/ci_windows.yaml
index 7902342b5..282e0c066 100644
--- a/.github/workflows/ci_windows.yaml
+++ b/.github/workflows/ci_windows.yaml
@@ -32,7 +32,12 @@ jobs:
 
       - name: Install build tools
         run: |
-          choco install ninja
+          if ((Get-Command "ninja.exe" -ErrorAction SilentlyContinue) -eq $null)
+          {
+             choco install ninja
+          }
+          where.exe ninja
+          ninja --version
 
       # use the preinstalled vcpkg from image
       # https://github.com/actions/virtual-environments/blob/main/images/win/Windows2019-Readme.md#package-management