gitlab-ci: Build also the coverity model files

2023-02-03 11:49:13 +01:00 · 2023-02-03 11:49:13 +01:00 · 4fccbc3466
parent 776cc1f5eb
commit 4fccbc3466
1 changed files with 1 additions and 0 deletions
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@ -74,6 +74,7 @@ fedora/build:
  stage: build
  image: $CI_REGISTRY/$BUILD_IMAGES_PROJECT:$FEDORA_BUILD
  script:
+    - pushd coverity && make && popd
    - mkdir -p obj && cd obj && cmake
      -DCMAKE_BUILD_TYPE=Release
      -DCMAKE_INSTALL_PREFIX=/tmp/cmocka