Skip to content

Add coverity.json#14

Merged
patrzhan merged 1 commit intomainfrom
dev/cov
Jan 15, 2026
Merged

Add coverity.json#14
patrzhan merged 1 commit intomainfrom
dev/cov

Conversation

@patrzhan
Copy link
Member

Issue #, if available:

Description of changes:

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

rawalexe
rawalexe previously approved these changes Jan 15, 2026
@patrzhan patrzhan merged commit a494792 into main Jan 15, 2026
17 checks passed
@patrzhan patrzhan deleted the dev/cov branch January 15, 2026 23:12
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