diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index a2e7b2938c..53ba770438 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -15,6 +15,9 @@ on: # Allow for manual triggers from the web. workflow_dispatch: +env: + COVERITY_SUPPRESS_ASSERT: 2564 + jobs: coverity: runs-on: ubuntu-latest