diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9b836cd6d6..7031295c17 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -610,6 +610,12 @@ jobs:
           call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvars64.bat"
           cl.exe -c -WX -TP include/*.h
 
+      - name: C (public headers)
+        shell: cmd
+        run: |
+          call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvars64.bat"
+          cl.exe -c -WX -TC include/*.h
+
   cxx_fpermissive_debian:
     name: "C++ -fpermissive (entire project)"
     runs-on: ubuntu-latest
@@ -654,6 +660,23 @@ jobs:
             g++ -Werror include/*.h
             clang -Werror -x c++-header include/*.h
 
+  c_headers_debian:
+    name: "C (public headers)"
+    runs-on: ubuntu-latest
+    needs: docker_cache
+
+    steps:
+      - *CHECKOUT
+
+      - name: CI script
+        uses: ./.github/actions/run-in-docker-action
+        with:
+          dockerfile: ./ci/linux-debian.Dockerfile
+          scope: ${{ runner.arch }}-${{ needs.docker_cache.outputs.cache_scope }}
+          command: |
+            gcc -Werror -pedantic-errors -std=c89 include/*.h
+            clang -Werror -pedantic-errors -std=c89 -x c-header include/*.h
+
   sage:
     name: "SageMath prover"
     runs-on: ubuntu-latest
diff --git a/Makefile.am b/Makefile.am
index 07d7a2ba7f..481f09ad15 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -134,6 +134,7 @@ tests_CPPFLAGS = $(noverify_tests_CPPFLAGS) -DVERIFY
 tests_LDADD    = $(noverify_tests_LDADD)
 tests_LDFLAGS  = $(noverify_tests_LDFLAGS)
 endif
+
 endif
 
 if USE_CTIME_TESTS