]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: [coverity]
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 20:58:52 +0000 (21:58 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 20:58:52 +0000 (21:58 +0100)
.github/workflows/coverity.yml

index 1939e6089d4d635a9f74112670d3567e14a48f28..a9e00941fc855c02dd823f4e8795aefa71dd56b3 100644 (file)
@@ -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: |