diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 4f1a600aac7397dac163751060473bdcafe71588..52fe1233201f11fa0f01e6c8877a708d6135f461 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -34,7 +34,7 @@ build-coq.8.18.0: <<: *template variables: OPAM_PINS: "coq version 8.18.0" - DENY_WARNINGS: "1" + #DENY_WARNINGS: "1" #MANGLE_NAMES: "1" #OPAM_PKG: "1"