mirror of
https://github.com/github/codeql.git
synced 2026-05-25 00:27:09 +02:00
Update sync-main.yml
This commit is contained in:
11
.github/workflows/sync-main.yml
vendored
11
.github/workflows/sync-main.yml
vendored
@@ -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
|
||||
|
||||
|
||||
Reference in New Issue
Block a user