Skip to content

make Report non-exhaustive#607

Merged
sunshowers merged 1 commit into
mainfrom
report-non-exhaustive
Jul 20, 2026
Merged

make Report non-exhaustive#607
sunshowers merged 1 commit into
mainfrom
report-non-exhaustive

Conversation

@sunshowers

Copy link
Copy Markdown
Member

We need to roll out a breaking change to quick-junit, so this is a good time to do that.

We need to roll out a breaking change to quick-junit, so this is a good time to do that.
@sunshowers
sunshowers merged commit d23b7ca into main Jul 20, 2026
11 checks passed
@sunshowers
sunshowers deleted the report-non-exhaustive branch July 20, 2026 02:11
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