Commit 8e6543c1 authored by Mulas, Giacomo's avatar Mulas, Giacomo
Browse files

test

parent 154008ac

.gitlab-ci.yml

+1 −2
Original line number Diff line number Diff line
@@ -46,8 +46,7 @@ building_stage: 
      - cat /etc/os-release

      - cd src

      - echo "Running make ..."

      - make -j

      - ls ../objects

      - make -j || ls ../objects

      - make docs -j && make -C ../doc/build/latex -j



running_stage: