Merge pull request #143 from microsoft/dilan/powershell-pr-check

PowerShell PR Check

.github/workflows/powershell-pr-check.yml

@@ -0,0 +1,28 @@
+name: PowerShell PR Check
+
+on:
+  pull_request:
+    branches:
+      - main
+    paths:
+      - "powershell/**"
+  workflow_dispatch:
+
+jobs:
+  powershell-pr-check:
+    name: powershell-pr-check
+    runs-on: ubuntu-latest
+    if: github.repository == 'microsoft/codeql'
+    permissions:
+      contents: write
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
+          token: ${{ secrets.WORKFLOW_TOKEN }}
+      - name: Setup CodeQL
+        uses: ./.github/actions/fetch-codeql
+      - name: Compile PowerShell Queries
+        run: |
+          codeql query compile --check-only --keep-going powershell/ql/src

.github/workflows/sync-main.yml

@@ -21,17 +21,22 @@ jobs:
         run: |
           git config user.name Dilan Bhalla
           git config user.email [email protected]
-      - name: Fetch
+      - name: Sync Main
         shell: bash
         run: |
           set -x
           git fetch
           git remote add upstream https://github.com/github/codeql.git
           git fetch upstream --tags --force
-      - name: Sync Main
+          git merge codeql-cli/latest
+      - name: Setup CodeQL
+        uses: ./.github/actions/fetch-codeql
+      - name: Compile PowerShell Queries
+        run: |
+          codeql query compile --check-only --keep-going powershell/ql/src
+      - name: Complete Sync
         shell: bash
         run: |
-          git merge codeql-cli/latest
           git push origin main
           git push origin --tags --force