We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 08a1e27 commit 1fe74bbCopy full SHA for 1fe74bb
.github/workflows/root-ci.yml
@@ -585,6 +585,9 @@ jobs:
585
working-directory: /github/home/ROOT-CI/PostInstall
586
run: ctest -j $(nproc)
587
588
+ - name: Check installed headers
589
+ run: bash /github/home/ROOT-CI/src/test/check-headers.sh
590
+
591
event_file:
592
# For any event that is not a PR, the CI will always run. In PRs, the CI
593
# can be skipped if the tag [skip-ci] or [skip ci] is written in the title.
0 commit comments