Skip to content

Coverity added back#756

Merged
annejan merged 2 commits intomainfrom
coverity_scan
Mar 23, 2026
Merged

Coverity added back#756
annejan merged 2 commits intomainfrom
coverity_scan

Conversation

@annejan
Copy link
Copy Markdown
Member

@annejan annejan commented Mar 23, 2026

🐦‍⬛ 🦆

@coveralls
Copy link
Copy Markdown

coveralls commented Mar 23, 2026

Coverage Status

coverage: 6.249%. remained the same
when pulling 01043c9 on coverity_scan
into ec70263 on main.

@annejan annejan merged commit c655961 into main Mar 23, 2026
15 of 16 checks passed
@annejan annejan deleted the coverity_scan branch March 23, 2026 20:40
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