| name: FreeRTOS-Kernel Coverity Scan |
| on: |
| schedule: ## Scheduled to run at 1:15 AM UTC daily. |
| - cron: '15 1 * * *' |
| |
| |
| jobs: |
| |
| Coverity-Scan: |
| name: Coverity Scan |
| runs-on: ubuntu-latest |
| steps: |
| - name: Checkout the Repository |
| uses: actions/checkout@v3 |
| |
| - name: Install Build Essentials |
| shell: bash |
| run: | |
| sudo apt-get -y update |
| sudo apt-get -y install build-essential |
| |
| - name: Install Coverity Build |
| shell: bash |
| env: |
| 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 |
| echo "cov_scan_path=$(pwd)/cov_scan/bin" >> $GITHUB_ENV |
| |
| - name: Coverity Build & Upload for Scan |
| shell: bash |
| env: |
| COVERITY_TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }} |
| COVERITY_EMAIL: ${{ secrets.COVERITY_SCAN_EMAIL }} |
| run: | |
| export PATH="$PATH:${{env.cov_scan_path}}" |
| cmake -S ./examples/cmake_example/ -B build |
| cd build |
| cov-build --dir cov-int make -j |
| tar czvf gcc_freertos_kerenl_sample_build.tgz cov-int |
| COV_SCAN_UPLOAD_STATUS=$(curl --form token=${COVERITY_TOKEN} \ |
| --form email=${COVERITY_EMAIL} \ |
| --form file=@gcc_freertos_kerenl_sample_build.tgz \ |
| --form version="Mainline" \ |
| --form description="FreeRTOS Kernel Nightly Scan" \ |
| https://scan.coverity.com/builds?project=FreeRTOS-Kernel) |
| echo "${COV_SCAN_UPLOAD_STATUS}" | grep -q -e 'Build successfully submitted' || echo >&2 "Error submitting build for analysis: ${COV_SCAN_UPLOAD_STATUS}" |