Add "C++ (public headers)" job

hebasto · Aug 15, 2023 · 044f038 · 044f038
1 parent 5f7de40
commit 044f038
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -54,6 +54,13 @@ jobs:
           build\src\RelWithDebInfo\bench_internal.exe
           build\src\RelWithDebInfo\bench.exe
 
+      - name: C++ (public headers)
+        run: cl.exe -c -WX -TP include/*.h || true
+
+      - uses: ilammy/msvc-dev-cmd@v1
+      - name: C++ (public headers)
+        run: cl.exe -c -WX -TP include/*.h
+
   sage:
     name: "SageMath prover"
     runs-on: ubuntu-latest