diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1a74a0b480a666887627f709247c27a089142372..2a8961011e863e95f688cd71ec9a4d9a29b0eecf 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -27,6 +27,7 @@ variables:
 
 ## Build jobs
 
+# We are on Coq's benchmark suite, so better make sure we keep working with Coq master
 build-coq.dev:
   <<: *template
   variables: