robojerk/codeql-action

Improve PR title formatting

Browse source
This commit is contained in:
Michael B. Gale 2025-06-23 12:45:26 +01:00
parent 7ca4105454
commit 37a3fcc3af
No known key found for this signature in database
GPG key ID: FF5E2765BD00628F
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/update-proxy-release.yml vendored
View file

@ -49,7 +49,7 @@ jobs:
GITHUB_TOKEN: "${{ secrets.GITHUB_TOKEN }}" GITHUB_TOKEN: "${{ secrets.GITHUB_TOKEN }}"
run: | run: |
set -exu set -exu
pr_title="Update release used by \`start-proxy\` to $RELEASE_TAG" pr_title="Update release used by \`start-proxy\` to \`$RELEASE_TAG\`"
pr_body=$(cat << EOF pr_body=$(cat << EOF
This PR updates the `start-proxy` action to use the private registry proxy binaries that This PR updates the `start-proxy` action to use the private registry proxy binaries that
are attached as release assets to the `$RELEASE_TAG` release. are attached as release assets to the `$RELEASE_TAG` release.