Fix CircleCI build, more coverity fixes.

2023-10-19 22:57:55 -07:00
parent a5bb31943c
commit 2a23d2e204
9 changed files with 42 additions and 24 deletions
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -33,4 +33,3 @@ workflows:
  ctest:
    jobs:
      - ctest
-      - static_analysis