Bump coverage from 7.13.0 to 7.13.1

Bumps [coverage](https://github.com/coveragepy/coveragepy) from 7.13.0 to 7.13.1.
- [Release notes](https://github.com/coveragepy/coveragepy/releases)
- [Changelog](https://github.com/coveragepy/coveragepy/blob/main/CHANGES.rst)
- [Commits](coveragepy/coveragepy@7.13.0...7.13.1)

---
updated-dependencies:
- dependency-name: coverage
  dependency-version: 7.13.1
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>

Author: dependabot[bot]

pyproject.toml

@@ -66,7 +66,7 @@ dev = [
 test = [
     "bornhack-website[bootstrap]",
     "beautifulsoup4==4.14.3",
-    "coverage==7.13.0",
+    "coverage==7.13.1",
     "hypothesis==6.148.7",
     "unittest-xml-reporting==3.2.0",
     "tblib==3.1.0",  # used to see backtraces in unit tests