diff --git a/.github/workflows/powershell-pr-check.yml b/.github/workflows/powershell-pr-check.yml new file mode 100644 index 000000000000..87be4ece4971 --- /dev/null +++ b/.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 diff --git a/.github/workflows/sync-main.yml b/.github/workflows/sync-main.yml index 6a5735e8f6ac..79190b194a36 100644 --- a/.github/workflows/sync-main.yml +++ b/.github/workflows/sync-main.yml @@ -21,17 +21,22 @@ jobs: run: | git config user.name Dilan Bhalla git config user.email dilanbhalla@microsoft.com - - 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