diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ac6318c68..0a564dee2 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -28,3 +28,7 @@ jobs: make - name: Check output run: find . -type f -name "*.so" + - name: Check output + run: find . -type f -name "*.h" + - name: Check output + run: find . -type f -name "*.hpp"