enable coverity

tiiuae · Nov 15, 2023 · 3a8bb27 · 3a8bb27
1 parent 2969a72
commit 3a8bb27
Showing 1 changed file with 17 additions and 3 deletions.
diff --git a/.github/workflows/tii-mocap-pose-coverity.yaml b/.github/workflows/tii-mocap-pose-coverity.yaml
@@ -1,10 +1,13 @@
 name: tii-mocap-pose-coverity
 
 on:
-  repository_dispatch:
+  workflow_dispatch:
   push:
     branches:
       - main
+    paths-ignore:
+      - 'README.md'
+      - 'CHANGELOG.rst'
   pull_request:
 
 jobs:
@@ -19,5 +22,16 @@ jobs:
           username: ${{ github.actor }}
           password: ${{ secrets.GITHUB_TOKEN }}
       - name: Run coverity scan
-        run:
-          docker run --rm -e PROJECT_NAME=${{ github.event.repository.name }} -v "$(pwd):/main_ws/src" ghcr.io/tiiuae/fog-ros-baseimage-builder-coverity:main
+        run: |
+          docker run --rm \
+            -e PROJECT_NAME=${{ github.event.repository.name }} \
+            -v "$(pwd):/main_ws/src" \
+            ghcr.io/tiiuae/fog-ros-baseimage-builder-coverity:sha-4da4f0d
+      - name: Update summary
+        run: |
+          cat cov-analyze-result.txt >> $GITHUB_STEP_SUMMARY
+      - name: Upload coverity scan results
+        uses: actions/upload-artifact@v3
+        with:
+          name: coverity-html-report-${{ github.event.repository.name }}
+          path: coverity-output