From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sun, 16 Feb 2020 20:58:52 +0000 (+0100)
Subject: :wrench: [coverity]
X-Git-Tag: nightly~1898
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=6eed0351a4b59b02212d1f522f4e780b548a3656;p=gwion.git

:wrench: [coverity]
---

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index 1939e608..a9e00941 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -26,7 +26,9 @@ jobs:
         tar xzf cov-analysis-linux64.tar.gz --strip 1 -C cov-analysis-linux64
 
     - name: Build
-      run: cov-build --dir cov-int make 
+      run: |
+        export PATH=`pwd`/cov-analysis-linux64/bin:$PATH
+        cov-build --dir cov-int make 
 
     - name: Submit
       run: |