diff --git a/.github/labeler.yml b/.github/labeler.yml
index 03d218711774..7f1ac6d2ea32 100644
--- a/.github/labeler.yml
+++ b/.github/labeler.yml
@@ -39,7 +39,7 @@
     - changed-files:
       - any-glob-to-any-file:
         - .github/**/*
-        - ci/**/*
+        - ci/**/*.*
 
 "6.topic: coq":
   - any: