Skip to content

Commit

Permalink
add CI checks for coverity
Browse files Browse the repository at this point in the history
  • Loading branch information
tony-josi-aws committed Oct 21, 2023
1 parent 5a4b547 commit 4c3784f
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions .github/workflows/coverity_scan.yml
Original file line number Diff line number Diff line change
Expand Up @@ -33,12 +33,11 @@ jobs:
COVERITY_TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}
run: |
wget -nv -qO- https://scan.coverity.com/download/linux64 --post-data "token=${COVERITY_TOKEN}&project=FreeRTOS-Kernel" | tar -zx --one-top-level=cov_scan --strip-components 1
ls -al cov_scan
echo "cov_scan_path=cov_scan/bin" >> $GITHUB_ENV
echo "cov_scan_path=${pwd}/cov_scan/bin" >> $GITHUB_ENV
- name: Build Posix_GCC Demo
shell: bash
# working-directory: FreeRTOS/Demo/Posix_GCC
working-directory: FreeRTOS/Demo/Posix_GCC
run: |
export PATH="$PATH:${{env.cov_scan_path}}"
cov-build
Expand Down

0 comments on commit 4c3784f

Please sign in to comment.