mirrored-actions/add-pr-comment
1
0
Fork 0
mirror of https://github.com/mshick/add-pr-comment.git synced 2025-12-31 14:20:32 +11:00
Code Issues Projects Releases Packages Wiki Activity

chore: repackage

Browse source
This commit is contained in:
Michael Shick 2020-04-09 08:22:04 -07:00
parent a43c7002b8
commit 3bdf31f1d8
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
dist/index.js vendored
View file

@ -2034,7 +2034,7 @@ async function run() {
}
if (!issueNumber) {
core.warning(
core.info(
"this action only works on pull_request events or other commits associated with a pull"
);
core.setOutput("comment-created", "false");
@ -2059,7 +2059,7 @@ async function run() {
);
if (filteredComments.length) {
core.warning("the issue already contains this message");
core.info("the issue already contains this message");
core.setOutput("comment-created", "false");
return;
}