From cffe703c6db1b0f6d0f1419a67a2463f95176fe1 Mon Sep 17 00:00:00 2001
From: Heiko Becker <hbecker@mpi-sws.org>
Date: Wed, 25 Apr 2018 11:38:47 +0200
Subject: [PATCH] Update .gitlab-ci.yml

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5e9215f..d2d27ba 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,7 +5,7 @@ variables:
 
 stages:
   - compile
-!  - regression
+#  - regression
 
 compile-coq:
   stage: compile
@@ -23,6 +23,6 @@ compile-hol:
     paths:
     - hol4/binary/
 
-! regression-tests:
-!  stage: regression
-!  script: ./scripts/regressiontests.sh
\ No newline at end of file
+# regression-tests:
+#  stage: regression
+#  script: ./scripts/regressiontests.sh
\ No newline at end of file
-- 
GitLab