diff options
| author | jaseg <git@jaseg.de> | 2021-04-08 14:16:49 +0200 |
|---|---|---|
| committer | jaseg <git@jaseg.de> | 2021-04-15 23:32:03 +0200 |
| commit | 26bd717aa8b07402f82ba9714eab0616380ff44e (patch) | |
| tree | 08f364d7f615f9e9e4e09d6865dbe21638be0be0 | |
| parent | beac9fa44104806625abf055f8b651f019274504 (diff) | |
| download | ihsm-26bd717aa8b07402f82ba9714eab0616380ff44e.tar.gz ihsm-26bd717aa8b07402f82ba9714eab0616380ff44e.tar.bz2 ihsm-26bd717aa8b07402f82ba9714eab0616380ff44e.zip | |
Update Gitlab CI config
| -rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 0f649ac..634ba8e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -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 |