From 4fccbc34663f354dbc2d7f345142b061b6f5011a Mon Sep 17 00:00:00 2001
From: Andreas Schneider <asn@cryptomilk.org>
Date: Fri, 3 Feb 2023 11:49:13 +0100
Subject: gitlab-ci: Build also the coverity model files

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 297cbc9..2d7dca6 100644
--- 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
-- 
cgit v1.1