diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index f65a992ee4d49692a786354bc3f4b1b91d651b19..45e184d1549f334d5f7ed4ef8c01a42e58c46ff8 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -30,7 +30,8 @@ building_stage: paths: - build/cluster/* - build/sphere/* - #- build/trapping/* + - build/trapping/* + - doc/build/* exclude: - ".git*" - ".git/**/*" @@ -46,6 +47,9 @@ building_stage: - cd src - echo "Running make ..." - make + - make docs + - cd ../doc/build/latex + - make running_stage: stage: run