build: bump mike from 2.1.2 to 2.1.3 in /.github/workflows

Bumps [mike](https://github.com/jimporter/mike) from 2.1.2 to 2.1.3.
- [Release notes](https://github.com/jimporter/mike/releases)
- [Changelog](https://github.com/jimporter/mike/blob/master/CHANGES.md)
- [Commits](jimporter/mike@v2.1.2...v2.1.3)

---
updated-dependencies:
- dependency-name: mike
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

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

.github/workflows/mkdocs-requirements.in

@@ -1,2 +1,2 @@
-mike==2.1.2
+mike==2.1.3
 mkdocs-material==9.5.31

.github/workflows/mkdocs-requirements.txt

@@ -11,7 +11,7 @@ jinja2==3.1.4
 markdown==3.4.4
 markupsafe==2.1.1
 mergedeep==1.3.4
-mike==2.1.2
+mike==2.1.3
 mkdocs==1.6.0
 mkdocs-get-deps==0.2.0
 mkdocs-material==9.5.31