Gitlab-CI: Add artifacts

This commit is contained in:
jaseg 2021-04-08 14:19:34 +02:00
parent 26bd717aa8
commit 3f3db46c69

View file

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