Merge with master

.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