Merge pull request #26 from model-checking/dependabot/npm_and_yarn/mocha-11.7.5

Bump mocha from 11.7.1 to 11.7.5

Author: tautschnig

package-lock.json

@@ -138,7 +138,7 @@
     "console": "^0.7.2",
     "eslint": "^7.32.0",
     "glob": "^13.0.0",
-    "mocha": "^11.7.1",
+    "mocha": "^11.7.5",
     "typescript": "^5.9.3",
     "typescript-formatter": "^7.2.2",
     "@vscode/vsce": "^3.7.1"