Verified Commit e0bec9ee authored by Bernd Paysan's avatar Bernd Paysan
Browse files

Added gitlab CI

parent 54da0cd1

.gitlab-ci.yml

+4 −2
Original line number Diff line number Diff line
@@ -2,7 +2,7 @@ image: debian:unstable 
 

before_script:

  - apt update -qq

  - apt-get -y install texlive

  - apt-get -y install texlive make

 

stages:

  - build
@@ -11,8 +11,10 @@ build-distcheck: 
  stage: build

  script:

    - make

    - mkdir pdfs

    - mv *.pdf pdfs

 

  # The files which are to be made available in GitLab

  artifacts:

    paths:

      - *.pdf
 
      - pdfs/*