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

update lib

Browse source
This commit is contained in:
Michael Shick 2022-11-04 18:37:27 -04:00
parent 80f4918ea8
commit a0bbba521b
No known key found for this signature in database
GPG key ID: ADF5BC9704BB4A61
2 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
lib/main.js
View file

@ -144,6 +144,9 @@ const run = async () => {
if (err instanceof Error) {
core.setFailed(err.message);
}
else {
core.setFailed('unknown failure');
}
}
};
// Don't auto-execute in the test environment