From 26bd717aa8b07402f82ba9714eab0616380ff44e Mon Sep 17 00:00:00 2001
From: jaseg <git@jaseg.de>
Date: Thu, 8 Apr 2021 14:16:49 +0200
Subject: Update Gitlab CI config

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit