Skip to content

handle push failures gracefully by logging error details, reporting t…#112

Merged
marwin1991 merged 1 commit into
masterfrom
fix-no-msg-err
Apr 21, 2026
Merged

handle push failures gracefully by logging error details, reporting t…#112
marwin1991 merged 1 commit into
masterfrom
fix-no-msg-err

Conversation

@marwin1991

Copy link
Copy Markdown
Member

…o MR, and exiting with non-zero status

@marwin1991 marwin1991 merged commit 7a5edd8 into master Apr 21, 2026
5 checks passed
@codecov

codecov Bot commented Apr 21, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@marwin1991 marwin1991 deleted the fix-no-msg-err branch April 21, 2026 14:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant