Merge pull request #82 from model-checking/dependabot/npm_and_yarn/eslint-10.1.0

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

Author: tautschnig

package-lock.json

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