ci: Move "C++ (public headers)" from Cirrus to GitHub Actions

sipa · Aug 23, 2023 · 676ed8f · 676ed8f
1 parent 61fc3a2
commit 676ed8f
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 72 deletions.
diff --git a/.cirrus.yml b/.cirrus.yml
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -768,6 +768,24 @@ jobs:
         run: env
         if: ${{ always() }}
 
+  cxx_headers_debian:
+    name: "C++ (public headers)"
+    runs-on: ubuntu-latest
+    needs: docker_cache
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+
+      - name: CI script
+        uses: ./.github/actions/run-in-docker-action
+        with:
+          dockerfile: ./ci/linux-debian.Dockerfile
+          tag: linux-debian-image
+          command: |
+            g++ -Werror include/*.h
+            clang -Werror -x c++-header include/*.h
+
   sage:
     name: "SageMath prover"
     runs-on: ubuntu-latest