From 2c07d508dca6e8aa63c14dcacb44cf558fea54c4 Mon Sep 17 00:00:00 2001
From: guido basten <1542094@uni-wuppertal.de>
Date: Wed, 19 Jun 2019 12:20:44 +0000
Subject: [PATCH] Update .gitlab-ci.yml
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 11de2816..377bd755 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -90,7 +90,7 @@ test:
#============== rimea ============
verification:
dependencies:
- - test
+ - make-linux
stage: rimea
script:
--
GitLab