From 3be365481fb27def87d9b71c13634b81c83409b1 Mon Sep 17 00:00:00 2001
From: Martin Morgenstern <martin.morgenstern1@tu-dresden.de>
Date: Mon, 3 Feb 2020 09:40:31 +0100
Subject: [PATCH] Remove unnecessary 'dockered' tag

---
 .gitlab-ci.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4957b10..882a8ca 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,8 +11,6 @@ stages:
 
 build:
   stage: build
-  tags:
-    - dockered
   artifacts:
     paths:
       - $FILEDIR/$FILENAME.pdf
@@ -24,8 +22,6 @@ build:
 
 diff:
   stage: diff
-  tags:
-    - dockered
   artifacts:
     paths:
       - $FILEDIR/difftag_$FILENAME.pdf
-- 
GitLab