diff options
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 634ba8e..a976ee7 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -6,3 +6,7 @@ paper-pdf-build-job: 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 |