diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 9cee6ded..b970f05b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -121,7 +121,7 @@ build_and_test_dev:
 
       # Build VSS and run tests
       ( eval $(anod printenv --sandbox-dir /it/wave gnatall) ;\
-        make COVERAGE_MODE=gcov build-libs-static check ;\
+        make COVERAGE_MODE=gcov build-libs-static check misc ;\
         make -C testsuite/json_schema ;\
         ENABLE_GCOV=y gcovr --print-summary --cobertura gcov.xml )
       make clean