Run make misc in gitlab CI

Closes #231
AdaCore · Jan 17, 2024 · 4f2d891 · 4f2d891
1 parent 5352f0e
commit 4f2d891
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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