Skip to content

Commit

Permalink
ci: Move "C++ (public headers)" from Cirrus to GitHub Actions
Browse files Browse the repository at this point in the history
  • Loading branch information
hebasto committed Aug 22, 2023
1 parent 00a0449 commit 1961f18
Show file tree
Hide file tree
Showing 2 changed files with 18 additions and 72 deletions.
72 changes: 0 additions & 72 deletions .cirrus.yml

This file was deleted.

18 changes: 18 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -726,6 +726,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
Expand Down

0 comments on commit 1961f18

Please sign in to comment.