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