summaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
blob: a976ee741c14fb95d6cdd4152173aac1f6a6ab19 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
stages:
    - build

paper-pdf-build-job:
    stage: build
    image: "gitlab.informatik.hu-berlin.de:4567/ti/software/docker-paperbuilder/ubuntu1804:bb114c89a295cb90a10f2d6c7b6e452567825466"
    script:
        - make -C paper
    artifacts:
        paths:
            - paper/ihsm_paper.pdf
            - paper/ihsm_tech_report.pdf