From 299c64d4a2c84b07ccc55cad61347e6f1d475072 Mon Sep 17 00:00:00 2001
From: Heiko Becker <hbecker@mpi-sws.org>
Date: Thu, 9 Sep 2021 08:42:34 +0000
Subject: [PATCH] Disable Coq CI builds

---
 .gitlab-ci.yml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 42b5cfee..d412028e 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -7,13 +7,13 @@ stages:
   - compile
   - regression
 
-compile-coq:
-  stage: compile
-  script: ./scripts/ci-coq.sh
-  artifacts:
-    expire_in: 1 week
-    paths:
-    - coq/
+#compile-coq:
+#  stage: compile
+#  script: ./scripts/ci-coq.sh
+#  artifacts:
+#    expire_in: 1 week
+#    paths:
+#    - coq/
 
 compile-hol:
   stage: compile
-- 
GitLab