diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 780733f914e0cf0c12d8905ae140552f80449e4d..dbe3ed281eeaac3547edda212a9679e827d5a055 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -46,7 +46,7 @@ building_stage: - cat /etc/os-release - cd src - echo "Running make ..." - - make -j || ls ../objects + - make -j - make docs -j && make -C ../doc/build/latex -j running_stage: