coverity scan to CI

tony-josi-aws · Oct 21, 2023 · 3dcc284 · 3dcc284
1 parent 7f24cee
commit 3dcc284
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/.github/workflows/coverity_scan.yml b/.github/workflows/coverity_scan.yml
@@ -27,17 +27,20 @@ jobs:
           sudo apt-get -y update
           sudo apt-get -y install build-essential
 
-      - name: Install Coverity Build
+      - name: Install Coverity Build & Build
         shell: bash
         env:
           COVERITY_TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}
         run: |
           wget https://scan.coverity.com/download/linux64 --post-data "token=${COVERITY_TOKEN}&project=FreeRTOS-Kernel" -O coverity_tool.tgz
           tar -xvzf coverity_tool.tgz
           export PATH=$PATH:$(pwd)/coverity_tool/bin
+          pwd
 
 
       - name: Build Posix_GCC Demo
         shell: bash
         working-directory: FreeRTOS/Demo/Posix_GCC
-        run: cov-build --dir cov-int make -j
+        run: |
+          pwd
+          cov-build --dir cov-int make -j