diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 9fbfc552f4f73929a41505bc55e9c03d8e406228..e2fd9f2485a1c052bbec4afa786289c34d874fb2 100644
--- 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