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