From 10bce3549ceb7af3755b4936bd2014963e91a485 Mon Sep 17 00:00:00 2001
From: TingluoHuang <TingluoHuang@github.com>
Date: Mon, 11 May 2020 14:23:15 -0400
Subject: [PATCH] windows

---
 .github/workflows/codeql.yml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index 72cfd6c14..7d9e6c046 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -23,7 +23,14 @@ jobs:
     - name: Initialize CodeQL
       uses: github/codeql-action/init@v1
 
-    - name: Manual build
+    - name: Manual build (Windows)
+      if: runner.os == windows
+      run : |
+        dev.cmd layout Release
+      working-directory: src
+
+    - name: Manual build (Non-Windows)
+      if: runner.os != windows
       run : |
         ./dev.sh layout Release
       working-directory: src