Skip to content

Commit 84989c3

Browse files
committed
fixup
Signed-off-by: Frederic BIDON <fredbi@yahoo.com>
1 parent 0136f36 commit 84989c3

File tree

1 file changed

+9
-2
lines changed

1 file changed

+9
-2
lines changed

.github/workflows/pr-comment.yml

Lines changed: 9 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,32 +12,39 @@ on:
1212
run_id:
1313
description: |
1414
The run ID of the calling workflow that has emitted the message artifact, e.g. {{ github.event.workflow_run.id }}
15+
type: string
1516
required: true
1617
target_repo:
1718
description: |
1819
The target repository of the PR, e.g. {{ github.repository }}
20+
type: string
1921
required: true
2022
pr_number:
2123
description: |
2224
The pull request number, e.g. ${{ github.event.pull_request.number }}
25+
type: string
2326
required: true
2427
pr_sha:
2528
description: |
2629
The commit sha for the originating pull request, e.g. {{github.event.pull_request.head.sha}}
30+
type: string
2731
required: true
2832
artifact_name:
2933
description: |
3034
The reference to the artifact containing the text of the comment.
3135
3236
At this moment, only supports "markdown_comment.txt" and "spelling_comment.txt"
37+
type: string
3338
required: true
3439
comment_title:
3540
description: |
3641
Title is a text string used to uniquely identify a comment that will be upaded on subsequent commits.
42+
type: string
3743
required: true
3844
reactions:
3945
description: |
4046
Optional emoji reaction added to the comment.
47+
type: string
4148
required: false
4249

4350
permissions:
@@ -84,12 +91,12 @@ jobs:
8491
8592
if [[ "${LAST_COMMIT}" != "${{ inputs.pr_sha }}" ]] ; then
8693
echo "The PR has changed while we were about to commit it. Skip."
87-
echo "proceed=false" >> "${{GITHUB_OUTPUT}}"
94+
echo "proceed=false" >> "${GITHUB_OUTPUT}"
8895
8996
echo "::warning:: pull request comment skipped because ${{ github.event.pull_request.number }} has changed"
9097
exit 0
9198
fi
92-
echo "proceed=true" >> "${{GITHUB_ENV}}"
99+
echo "proceed=true" >> "${GITHUB_OUTPUT}"
93100
94101
- name: Download message artifact
95102
if: ${{ steps.check_pr.outputs.proceed == "true"}}

0 commit comments

Comments
 (0)