From 0ca5c73f8dd41b3a485f8954fca951d0622aaf2e Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Mon, 26 Oct 2026 11:40:11 +0000
Subject: [PATCH] ci: bump MKDOCS_MATERIAL from 9.7.7 to 9.8.0

---
 .github/tool-versions.env | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/tool-versions.env b/.github/tool-versions.env
index ff9f788..0e506da 100644
--- a/.github/tool-versions.env
+++ b/.github/tool-versions.env
@@ -19,7 +19,7 @@ SCIP_GO=v0.2.7
 GOPLS=v0.23.0
 SEMGREP=1.176.1
 RUFF=0.16.6
-MKDOCS_MATERIAL=9.7.7
+MKDOCS_MATERIAL=9.8.0
 ESLINT=10.8.1
 PRETTIER=3.9.6
 PRETTIER_PLUGIN_PHP=0.25.0