diff --git a/.github/workflows/coverity_scan.yml b/.github/workflows/coverity_scan.yml index a00894d6378..a6e9b4ddea6 100644 --- 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 \ No newline at end of file