diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 717beafccf247a4661a763e345f64c71e6df2e65..bb58299a9bfdc0b4b5e562ba72eeb3a132e5448f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -29,7 +29,7 @@ variables:
 
 ## Build jobs
 
-# build against known-working Coq 8.16.0
+# build against known-working Coq 8.17.0
 build-coq.8.17.0:
   <<: *template
   variables: