Update Gitlab CI config

This commit is contained in:
jaseg 2021-04-08 14:16:49 +02:00
parent beac9fa441
commit 26bd717aa8

View file

@ -3,5 +3,6 @@ stages:
paper-pdf-build-job:
stage: build
image: "gitlab.informatik.hu-berlin.de:4567/ti/software/docker-paperbuilder/ubuntu1804:bb114c89a295cb90a10f2d6c7b6e452567825466"
script:
- make -C paper