From 717aed54f71234267992c914dccf1d1655da40fd Mon Sep 17 00:00:00 2001
From: Timm Fitschen <timm.fitschen@ds.mpg.de>
Date: Tue, 9 Oct 2018 16:38:50 +0200
Subject: [PATCH] Update .gitlab-ci.yml

---
 .gitlab-ci.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 90a8197c..4a4083ce 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -33,7 +33,7 @@ stages:
 
 # delete local maven repo to be sure all packages are still maintained by the maven repos
 setup:mvn:
-    tags: [ linux ]
+    tags: [ java8 ]
     stage: setup
     script:
         - make easy-units
@@ -46,7 +46,7 @@ setup:mvn:
 
 # generate parsing classes with antlr
 code-generation:antlr:
-    tags: [ linux ]
+    tags: [ java8 ]
     stage: code-generation
     artifacts:
         paths:
@@ -60,7 +60,7 @@ code-generation:antlr:
 
 # compile the server
 build:server:
-    tags: [ linux ]
+    tags: [ java8 ]
     stage: build
     dependencies:
         - code-generation:antlr
@@ -76,7 +76,7 @@ build:server:
 
 # junit tests for the server
 test:server:
-    tags: [ linux ]
+    tags: [ java8 ]
     stage: test
     dependencies:
         - build:server
@@ -87,7 +87,7 @@ test:server:
 # Clean
 ###########
 clean:mvn:
-    tags: [ linux ]
+    tags: [ java8 ]
     stage: clean
     when: always
     dependencies: []
-- 
GitLab