diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index eafee6615..c8b5d7eaa 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -104,6 +104,7 @@ test-profiles: script: - make -C profiles check-parser - make -C profiles check-abstractions.d + - make -C profiles check-extras shellcheck: stage: test