remove an outdated comment

07f02f41 · Ralf Jung · 7974fc6e · 07f02f41
Commit 07f02f41 authored 1 year ago by Ralf Jung
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -33,7 +33,7 @@ build-coq.8.17.0:
  <<: *template
  variables:
    OPAM_PINS: "coq version 8.17.0"
-    DENY_WARNINGS: "1" # coq_makefile warning cannot be resolved while supporting Coq 8.14
+    DENY_WARNINGS: "1"

 build-coq.8.16.1:
  <<: *template