Skip to content

ci: disable Coverity on the main branch temporarily#244

Closed
kdudka wants to merge 1 commit into
mainfrom
coverity
Closed

ci: disable Coverity on the main branch temporarily#244
kdudka wants to merge 1 commit into
mainfrom
coverity

Commits

Commits on Jun 19, 2026