Merge pull request #22 from model-checking/dependabot/npm_and_yarn/types/node-24.10.2

Bump @types/node from 16.18.11 to 24.10.2

Author: tautschnig

package-lock.json

@@ -130,7 +130,7 @@
   "devDependencies": {
     "@types/glob": "^7.1.4",
     "@types/mocha": "^9.0.0",
-    "@types/node": "^16.7.13",
+    "@types/node": "^24.10.2",
     "@types/vscode": "^1.106.1",
     "@typescript-eslint/eslint-plugin": "^8.49.0",
     "@typescript-eslint/parser": "^8.49.0",