diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml index a70cbe86c9f..53cd1e7c09c 100644 --- a/.github/workflows/test.yaml +++ b/.github/workflows/test.yaml @@ -96,9 +96,12 @@ jobs: run: eval "$BUILD" - name: Build FW run: ${{ env.RUN }} "scons -j$(nproc)" - - name: Run MISRA C:2012 analysis + - name: Run MISRA C:2012 analysis - ALLOW_DEBUG timeout-minutes: 2 run: ${{ env.RUN }} "cd tests/misra && ./test_misra.sh" + - name: Run MISRA C:2012 analysis - RELEASE + timeout-minutes: 2 + run: ${{ env.RUN }} "cd tests/misra && CERT=./certs/debug RELEASE=1 ./test_misra.sh" - name: MISRA mutation tests timeout-minutes: 5 run: ${{ env.RUN }} "cd tests/misra && pytest -n8 test_mutation.py"