.gitlab-ci.yml: hook devel/check-headers.sh in .pre target

This adds devel/check-headers.sh in the .pre target phase so any
inconsistent header inclusion would be detected early in the CI.

Signed-off-by: Daiki Ueno <ueno@gnu.org>

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d43bd70cf20a77bf20d983a21a011094dfe9f10c..dde45bbfc65651781d722fb7343f7b46cfd14327 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -166,6 +166,7 @@ commit-check:
     - apk add git bash grep clang16-extra-tools
     - devel/check_if_signed
     - devel/indent-gnutls
+    - devel/check-headers.sh
     - git diff --exit-code # nothing should change version controlled files
   retry: 0