CI: test misra with RELEASE=1

dzid26 · Jun 8, 2024 · 2dbd304 · 2dbd304
1 parent 07ff61a
commit 2dbd304
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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"