Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Correctly report error in publish plugin #2454

Merged
merged 3 commits into from
Dec 10, 2024
Merged

Correctly report error in publish plugin #2454

merged 3 commits into from
Dec 10, 2024

Conversation

davidjgoss
Copy link
Contributor

Recreating #2139 as I was unable to make edits to the downstream repo.

@davidjgoss davidjgoss changed the title correctly report error in publish plugin Correctly report error in publish plugin Dec 10, 2024
@coveralls
Copy link

coveralls commented Dec 10, 2024

Coverage Status

coverage: 97.688%. remained the same
when pulling 7d90d04 on publish-bug
into 42483a3 on main.

@davidjgoss davidjgoss marked this pull request as ready for review December 10, 2024 12:15
@davidjgoss davidjgoss merged commit 6e84e1d into main Dec 10, 2024
9 of 10 checks passed
@davidjgoss davidjgoss deleted the publish-bug branch December 10, 2024 12:17
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.

2 participants