coverity scan to CI

tony-josi-aws · Oct 21, 2023 · 5b68339 · 5b68339
1 parent 90d96f1
commit 5b68339
Showing 1 changed file with 3 additions and 7 deletions.
diff --git a/.github/workflows/coverity_scan.yml b/.github/workflows/coverity_scan.yml
@@ -34,11 +34,7 @@ jobs:
         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
+          cd FreeRTOS/Demo/Posix_GCC
+          cov-build --dir cov-int make -j
 
-      - name: Build Posix_GCC Demo
-        shell: bash
-        working-directory: FreeRTOS/Demo/Posix_GCC
-        run: |
-          export PATH=$PATH:../../../coverity_tool/bin
-          ls ../../../coverity_tool/bin
-          cov-build --dir cov-int make -j