File tree Expand file tree Collapse file tree 1 file changed +3
-6
lines changed
Expand file tree Collapse file tree 1 file changed +3
-6
lines changed Original file line number Diff line number Diff line change @@ -33,13 +33,13 @@ jobs:
3333 git config user.email "github-actions[bot]@users.noreply.github.com"
3434 - name : Add and fetch upstream
3535 run : |
36+ set -x
37+ git fetch
3638 git remote add upstream https://github.com/github/codeql.git
3739 git fetch upstream --tags --force
38- - name : Create or reset sync branch
39- run : |
4040 git fetch origin sync-main-pr || true
4141 git checkout -B sync-main-pr origin/main
42- git merge upstream/ codeql-cli/latest --no-edit || true
42+ git merge codeql-cli/latest
4343 - name : Setup CodeQL
4444 shell : bash
4545 run : |
5050 gh codeql version --format=json | jq -r .unpackedLocation >> "${GITHUB_PATH}"
5151 env :
5252 GITHUB_TOKEN : ${{ github.token }}
53- - name : Compile PowerShell Queries
54- run : |
55- codeql query compile --check-only --keep-going powershell/ql/src
5653 - name : Push sync branch
5754 run : |
5855 git push origin sync-main-pr --force
You can’t perform that action at this time.
0 commit comments