From 7a5f20c3bb0af4bf6a879d3be487dbe633864847 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 15 Sep 2026 15:58:53 +0000 Subject: [PATCH] chore(deps): update mike requirement in /docs Updates the requirements on [mike](https://github.com/jimporter/mike) to permit the latest version. - [Release notes](https://github.com/jimporter/mike/releases) - [Changelog](https://github.com/jimporter/mike/blob/master/CHANGES.md) - [Commits](https://github.com/jimporter/mike/compare/v2.1.0...v2.2.0) --- updated-dependencies: - dependency-name: mike dependency-version: 2.2.0 dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- docs/requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/requirements.txt b/docs/requirements.txt index ec2e0832..028335d1 100644 --- a/docs/requirements.txt +++ b/docs/requirements.txt @@ -1,3 +1,3 @@ mkdocs-material>=9.5,<10.0 -mike>=2.1,<3.0 +mike>=2.2.0,<3.0 mkdocs-git-revision-date-localized-plugin>=1.2,<2.0