From 2250df5c80c5565a2d5336c03724dffe863163c8 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 28 Nov 2017 10:24:42 +0100
Subject: [PATCH] disable coqchk, it fails with a stack overflow
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 95e791327..1e36c1b81 100644
--- 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
--
GitLab