Merge pull request #67 from model-checking/dependabot/npm_and_yarn/eslint-10.0.1

build(deps-dev): bump eslint from 10.0.0 to 10.0.1

Author: tautschnig

package-lock.json

@@ -136,7 +136,7 @@
     "@typescript-eslint/parser": "^8.56.0",
     "@vscode/test-electron": "^2.5.2",
     "console": "^0.7.2",
-    "eslint": "^10.0.0",
+    "eslint": "^10.0.1",
     "glob": "^13.0.3",
     "mocha": "^11.7.5",
     "typescript": "^5.9.3",