diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index bfd35eb299..08837b8fc1 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -39,10 +39,10 @@ jobs: - uses: actions/checkout@v4 - name: Configure run: mkdir build + run: cmake -DCMAKE_CXX_STANDARD=20 -DCMAKE_BUILD_TYPE=relwithdebinfo -DCMAKE_CXX_COMPILER=g++ -DCMAKE_C_COMPILER=gcc -DTBB_CPF=ON -B ${{GITHUB_WORKSPACE}}/build - uses: vapier/coverity-scan-action@v1 with: token: ${{ secrets.COVERITY_TOKEN }} email: ${{ secrets.COVERITY_EMAIL }} - project: ${{env: COVERITY_PROJECT }} + project: ${{env.COVERITY_PROJECT }} command: make VERBOSE=1 -j${BUILD_CONCURRENCY} -# run: cmake -DCMAKE_CXX_STANDARD=20 -DCMAKE_BUILD_TYPE=relwithdebinfo -DCMAKE_CXX_COMPILER=g++ -DCMAKE_C_COMPILER=gcc -DTBB_CPF=ON -B ${{GITHUB_WORKSPACE}}/build