From 45506bd7736256058d20fc098727d36286f1d410 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gregor.kleen@ifi.lmu.de>
Date: Wed, 29 Jan 2020 22:20:46 +0100
Subject: [PATCH] chore(gitlab-ci): disable resource_group due to gitlab
 version

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 97f40010b..b7ec49c62 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