github/codeql-action
1
0
Fork 0
mirror of https://github.com/github/codeql-action.git synced 2026-11-10 14:56:01 +00:00
Code Issues Packages Projects Releases Wiki Activity

Wrap --marker argument in HTML comment tags automatically

Browse Source
This commit is contained in:
Mario Campos
2026-10-29 10:34:12 -05:00
parent 19e1ab5452
commit 9359b6b571
4 changed files with 31 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.github/actions/post-comment/action.yml vendored
View File

@@ -3,8 +3,8 @@ description: "Create or update a sticky PR comment identified by a caller-provid
inputs:
marker:
description: >
Non-empty marker identifying the comment. Use a unique,
stable HTML comment for each distinct comment.
Non-empty plain-text identifier for the comment. Use a unique, stable value
for each distinct comment; it is automatically wrapped in a hidden HTML comment.
required: true
body:
description: "Full comment markdown."

4
.github/workflows/pr-checks.yml vendored
View File

@@ -295,7 +295,7 @@ jobs:
!startsWith(github.event.pull_request.head.ref, 'update-bundle/')
uses: ./.github/actions/post-comment
with:
marker: "<!-- post-comment:CHANGELOG.md -->"
marker: "post-comment:CHANGELOG.md"
body: |
⚠️ `CHANGELOG.md` has been modified in this PR. Please do not modify `CHANGELOG.md` directly.
Instead, create a change-note file in `unreleased-change-notes/`. The `CHANGELOG.md`
@@ -312,7 +312,7 @@ jobs:
!startsWith(github.event.pull_request.head.ref, 'update-bundle/')
uses: ./.github/actions/post-comment
with:
marker: "<!-- post-comment:CHANGELOG.md -->"
marker: "post-comment:CHANGELOG.md"
body: |
⚠️ `CHANGELOG.md` has been modified in this PR. Please do not modify `CHANGELOG.md` directly.
Instead, create a change-note file in `unreleased-change-notes/`. The `CHANGELOG.md`