From af1c88a5002a60370f1e3763239cac21d56cd8d1 Mon Sep 17 00:00:00 2001
From: Muneeb Ahmed <ahmemune@amazon.com>
Date: Tue, 1 Dec 2020 18:57:22 -0800
Subject: [PATCH] Add GA to test .readme headers

---
 .github/workflows/ci.yml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2b41ee57d..daa90d159 100644
--- 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