Merge pull request #102 from model-checking/dependabot/npm_and_yarn/typescript-6.0.3

build(deps-dev): bump typescript from 6.0.2 to 6.0.3

Author: tautschnig

package-lock.json

@@ -139,7 +139,7 @@
     "eslint": "^10.2.1",
     "glob": "^13.0.6",
     "mocha": "^11.7.5",
-    "typescript": "^6.0.2",
+    "typescript": "^6.0.3",
     "typescript-formatter": "^7.2.2",
     "@vscode/vsce": "^3.9.1"
   },