jprdonnelly/docs
1
0
Fork 0
mirror of synced 2025-12-19 18:10:59 -05:00
Code Issues Projects Releases Wiki Activity

Fix sync-codeql-cli.yml issues on latest runners (#53846)

Browse Source 
Co-authored-by: docs-bot <77750099+docs-bot@users.noreply.github.com>
This commit is contained in:
Dave Bartolomeo
2025-01-10 12:15:12 -05:00
committed by GitHub
parent fd6bc6f6d9
commit 02cbe5db3d
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/generate-code-scanning-query-lists.yml vendored
View File

@@ -146,7 +146,7 @@ jobs:
git add data/reusables/code-scanning/codeql-query-tables git add data/reusables/code-scanning/codeql-query-tables
git commit -m "Update CodeQL query tables" git commit -m "Update CodeQL query tables"
git push origin $branchname git push -u origin $branchname
echo "Creating pull request..." echo "Creating pull request..."
gh pr create \ gh pr create \

4
.github/workflows/sync-codeql-cli.yml vendored
View File

@@ -91,13 +91,13 @@ jobs:
branchname=codeql-cli-update-${{ steps.semmle-code.outputs.OPENAPI_COMMIT_SHA }} branchname=codeql-cli-update-${{ steps.semmle-code.outputs.OPENAPI_COMMIT_SHA }}
branchCheckout=$(git checkout -b $branchname) branchCheckout=$(git checkout -b $branchname)
if [[! $? -eq 0 ]]; then if [[ ! $? -eq 0 ]]; then
echo "Branch $branchname already exists in `github/docs-internal`. Exiting..." echo "Branch $branchname already exists in `github/docs-internal`. Exiting..."
exit 0 exit 0
fi fi
git add . git add .
git commit -m "Update CodeQL CLI data" git commit -m "Update CodeQL CLI data"
git push origin $branchname git push -u origin $branchname
echo "Creating pull request..." echo "Creating pull request..."
gh pr create \ gh pr create \