CI updates

This is done by the automated script named upgrade-ci-2025

Author: sbrunner

.github/renovate.json5

@@ -166,8 +166,8 @@
     },
     /** Ignore geogirafe/CONST_scaffold/* files */
     {
-      matchPaths: ['geogirafe/CONST_scaffold/**'],
       enabled: false,
+      matchFileNames: ['geogirafe/CONST_scaffold/**'],
     },
   ],
 }