From 20035010ff42a0cd7f57dc604a19c8479231a227 Mon Sep 17 00:00:00 2001
From: Carl Mai <carl.mai@tu-dresden.de>
Date: Wed, 18 Jul 2018 18:08:45 +0200
Subject: [PATCH] ci fix again the benchmark run

---
 .gitlab-ci.yml | 2 +-
 Dockerfile     | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 776cec5..142dc0b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -32,7 +32,7 @@ test_benchmark:
   script:
     - docker pull $CONTAINER_TEST_IMAGE
     - docker run $CONTAINER_TEST_IMAGE /ttc18/gradlew benchmarkFull -Pscenario=0,small 2>&1 | tee benchmarkFull.log
-    - grep "BUILD FAILED" benchmarkFull.log; test $? -eq 1
+    - grep -v "BUILD FAILED" benchmarkFull.log
 
 test_unit_tests:
   stage: test
diff --git a/Dockerfile b/Dockerfile
index 71f067a..4681ef2 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -67,3 +67,4 @@ RUN ./gradlew --no-daemon compileJava
 
 #RUN ./gradlew test
 #RUN ./gradlew benchmarkFull -Pscenario=0,small
+#RUN ./gradlew jastadd-mquat-solver-random:test
-- 
GitLab