Merge pull request #89 from model-checking/dependabot/npm_and_yarn/types/node-25.5.2

build(deps-dev): bump @types/node from 25.5.0 to 25.5.2

Author: feliperodri

package-lock.json

@@ -130,7 +130,7 @@
   "devDependencies": {
     "@types/glob": "^9.0.0",
     "@types/mocha": "^10.0.10",
-    "@types/node": "^25.5.0",
+    "@types/node": "^25.5.2",
     "@types/vscode": "^1.110.0",
     "@typescript-eslint/eslint-plugin": "^8.58.0",
     "@typescript-eslint/parser": "^8.57.2",