We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 08a1e27 commit c71a5ecCopy full SHA for c71a5ec
.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 test/PostInstall/check-headers.sh /github/home/ROOT-CI/install/include
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