mirrored-actions/add-pr-comment
1
0
Fork 0
mirror of https://github.com/mshick/add-pr-comment.git synced 2026-01-02 23:00:02 +11:00
Code Issues Projects Releases Packages Wiki Activity

should not require these

Browse source
This commit is contained in:
Michael Shick 2022-11-15 16:47:52 -05:00
parent 8645f3f0ea
commit a65df5f64f
No known key found for this signature in database
GPG key ID: ADF5BC9704BB4A61
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
action.yml
View file

@ -14,7 +14,7 @@ inputs:
repo-token: repo-token:
description: "A GitHub token for API access. Defaults to {{ github.token }}." description: "A GitHub token for API access. Defaults to {{ github.token }}."
default: "${{ github.token }}" default: "${{ github.token }}"
required: true required: false
allow-repeats: allow-repeats:
description: "Allow messages to be repeated." description: "Allow messages to be repeated."
default: "false" default: "false"
@ -25,7 +25,7 @@ inputs:
status: status:
description: "A job status for status headers. Defaults to {{ job.status }}." description: "A job status for status headers. Defaults to {{ job.status }}."
default: "${{ job.status }}" default: "${{ job.status }}"
required: true required: false
message-success: message-success:
description: "Override the message when a run is successful." description: "Override the message when a run is successful."
required: false required: false