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