push: don't report failure on error (#16)

This commit is contained in:
seth 2023-12-14 06:12:23 -05:00 committed by GitHub
parent 4698511c85
commit 6689ac7697
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -32,7 +32,8 @@ export const push = async () => {
} }
} }
} catch (e) { } catch (e) {
core.setFailed(`Action failed with error: ${e}`); core.warning(`Action encountered error: ${e}`);
core.info("Not considering errors during push a failure.");
} }
core.endGroup(); core.endGroup();