Build(deps): Bump the production-dependencies group with 1 update

Bumps the production-dependencies group with 1 update: [@actions/core](https://github.com/actions/toolkit/tree/HEAD/packages/core).

- [Changelog](https://github.com/actions/toolkit/blob/main/packages/core/RELEASES.md)
- [Commits](https://github.com/actions/toolkit/commits/HEAD/packages/core)

---
updated-dependencies:
- dependency-name: "@actions/core"
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: production-dependencies
...

Signed-off-by: dependabot[bot] <[email protected]>

package.json

@@ -27,7 +27,7 @@
   },
   "homepage": "https://github.com/cda-tum/setup-z3#readme",
   "dependencies": {
-    "@actions/core": "^1.10.0",
+    "@actions/core": "^1.10.1",
     "@actions/tool-cache": "^2.0.1",
     "@octokit/action": "^6.0.5",
     "@octokit/core": "^5.0.0",