coqchk is broken

966c1f28 · Ralf Jung · 4cfa2e8a · 966c1f28
Commit 966c1f28 authored 7 years ago by Ralf Jung
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -34,7 +34,7 @@ lrust-coq8.6.1:
  variables:
    COQ_VERSION: "8.6.1"
    SSR_VERSION: "1.6.1"
-    VALIDATE: "1"
+  #  VALIDATE: "1" # coqchk on lambdaRust is currently broken
  artifacts:
    paths:
    - build-time.txt