disable coqchk, it fails with a stack overflow

2250df5c · Ralf Jung · 833f7c15 · 2250df5c
Commit 2250df5c authored Nov 28, 2017 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

.gitlab-ci.yml .gitlab-ci.yml +1 -1

No files found.
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -68,7 +68,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