From 966c1f2821318e005e3e076c588a99fd73a50bac Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 20 Sep 2017 10:21:32 +0200
Subject: [PATCH] coqchk is broken
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 9fbfc552..e2fd9f24 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
--
GitLab