Merge pull request #29 from model-checking/dependabot/npm_and_yarn/types/glob-9.0.0

Bump @types/glob from 7.2.0 to 9.0.0

Author: tautschnig

package-lock.json

@@ -128,7 +128,7 @@
     "test": "node ./out/test/runTest.js"
   },
   "devDependencies": {
-    "@types/glob": "^7.1.4",
+    "@types/glob": "^9.0.0",
     "@types/mocha": "^10.0.10",
     "@types/node": "^24.10.2",
     "@types/vscode": "^1.106.1",