diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 42b5cfee5551c824afbd57dd9b39a47224dd7bed..d412028e2ae0fc80dcdc16b7c253b849e71072b0 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