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:
33
33
git config user.email "github-actions[bot]@users.noreply.github.com"
34
34
- name : Add and fetch upstream
35
35
run : |
36
+ set -x
37
+ git fetch
36
38
git remote add upstream https://github.com/github/codeql.git
37
39
git fetch upstream --tags --force
38
- - name : Create or reset sync branch
39
- run : |
40
40
git fetch origin sync-main-pr || true
41
41
git checkout -B sync-main-pr origin/main
42
- git merge upstream/ codeql-cli/latest --no-edit || true
42
+ git merge codeql-cli/latest
43
43
- name : Setup CodeQL
44
44
shell : bash
45
45
run : |
50
50
gh codeql version --format=json | jq -r .unpackedLocation >> "${GITHUB_PATH}"
51
51
env :
52
52
GITHUB_TOKEN : ${{ github.token }}
53
- - name : Compile PowerShell Queries
54
- run : |
55
- codeql query compile --check-only --keep-going powershell/ql/src
56
53
- name : Push sync branch
57
54
run : |
58
55
git push origin sync-main-pr --force
You can’t perform that action at this time.
0 commit comments