Merge pull request #87 from model-checking/dependabot/npm_and_yarn/eslint-10.2.0

build(deps-dev): bump eslint from 10.1.0 to 10.2.0

Author: tautschnig

package-lock.json

@@ -136,7 +136,7 @@
     "@typescript-eslint/parser": "^8.57.2",
     "@vscode/test-electron": "^2.5.2",
     "console": "^0.7.2",
-    "eslint": "^10.1.0",
+    "eslint": "^10.2.0",
     "glob": "^13.0.6",
     "mocha": "^11.7.5",
     "typescript": "^6.0.2",