diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d7db536a67563bcf51954445e24ae33c2163fcb1..f7e94a0309fbedc10144e2ba7a2294b0fbdeb4a5 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -18,7 +18,11 @@ before_script: - echo VERSION $VERSION - (cd build && cmake -C ../cmake_modules/gitlab-ci-initial-cache.cmake .. $BUILD_OPTIONS && - scan-build -plist --intercept-first --analyze-headers -o analyzer_reports make -j5 | tee ../chameleon_${VERSION}.log) + scan-build -plist --intercept-first --analyze-headers -o analyzer_reports + ctest --no-compress-output -V -j 5 + -D ExperimentalBuild + -D ExperimentalSubmit + | tee ../chameleon_${VERSION}.log) - (cd build && make install | tee -a ../chameleon_${VERSION}.log && rm install/ -r)