disable coqchk, it fails with a stack overflow

570dfb24 · Ralf Jung · 9de17fa7 · 570dfb24
Commit 570dfb24 authored 7 years ago by Ralf Jung
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -34,7 +34,7 @@ build-coq.8.6.1:
  <<: *template
  variables:
    OPAM_PINS: "coq version 8.6.1   coq-mathcomp-ssreflect version 1.6.4"
-    VALIDATE: "1"
+#    VALIDATE: "1" # coqchk fails with a stack overflow
  artifacts:
    paths:
    - build-time.txt