Add GA to test .readme headers

FreeRTOS · Dec 2, 2020 · af1c88a · af1c88a
1 parent d17fa1b
commit af1c88a
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -147,3 +147,19 @@ jobs:
         run: |
           git-secrets --register-aws
           git-secrets --scan
+  custom-header:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Clone This Repo
+        uses: actions/checkout@v2
+      - name: Build
+        run: |
+          mkdir -p override-include
+          cp source/include/stdbool.readme override-include/stdbool.h
+          cp source/include/stdint.readme override-include/stdint.h
+          cmake -S test -B build/ \
+          -G "Unix Makefiles" \
+          -DCMAKE_BUILD_TYPE=Debug \
+          -DBUILD_CLONE_SUBMODULES=ON \
+          -DCMAKE_C_FLAGS='-Wall -Wextra -DNDEBUG -I../override-include'
+          make -C build/ coverity_analysis