From 2e6b1d6a84bfa1c848afc1a97b4d57d6fb86f5aa Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gregor.kleen@ifi.lmu.de>
Date: Thu, 30 Jan 2020 17:41:10 +0100
Subject: [PATCH] Revert "chore(gitlab-ci): disable resource_group due to
 gitlab version"

This reverts commit 45506bd7736256058d20fc098727d36286f1d410.
---
 .gitlab-ci.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b7ec49c62..97f40010b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -136,7 +136,7 @@ yesod:build:
       - $CI_COMMIT_REF_NAME =~ /^v[0-9].*/
   retry: 2
   interruptible: true
-  # resource_group: ram
+  resource_group: ram
 
 frontend:test:
   stage: test
@@ -220,7 +220,7 @@ hlint:
       - $CI_COMMIT_REF_NAME =~ /^v[0-9].*/
   retry: 2
   interruptible: true
-  # resource_group: ram
+  resource_group: ram
 
 yesod:test:
   services:
@@ -245,7 +245,7 @@ yesod:test:
       - $CI_COMMIT_REF_NAME =~ /^v[0-9].*/
   retry: 2
   interruptible: true
-  # resource_group: ram
+  resource_group: ram
 
 deploy:uniworx3:
   stage: deploy
@@ -267,4 +267,4 @@ deploy:uniworx3:
   only:
     variables:
       - $CI_COMMIT_REF_NAME =~ /^v[0-9].*/
-  # resource_group: uniworx3
+  resource_group: uniworx3