coverity scan to CI

tony-josi-aws · Oct 21, 2023 · 1b8cba1 · 1b8cba1
1 parent 5b68339
commit 1b8cba1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/coverity_scan.yml b/.github/workflows/coverity_scan.yml
@@ -35,6 +35,8 @@ jobs:
           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
+          cov-build
           cd FreeRTOS/Demo/Posix_GCC
+          ls -al
           cov-build --dir cov-int make -j