coverity scan to CI

tony-josi-aws · Oct 21, 2023 · ed0cdb6 · ed0cdb6
1 parent d88b0b2
commit ed0cdb6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/coverity_scan.yml b/.github/workflows/coverity_scan.yml
@@ -34,6 +34,8 @@ 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
+          pwd
+          ls -al coverity_tool
           echo "$GITHUB_ACTION_PATH"
           echo $PATH
           cd FreeRTOS/Demo/Posix_GCC