From 37fc2fb4451ecf3545cdfa5d55eca3cb4b8b43bd Mon Sep 17 00:00:00 2001 From: Roxedus Date: Thu, 23 Jan 2025 10:42:10 +0000 Subject: [PATCH] Group slow plugins --- local.md | 2 +- mkdocs.yml | 11 +++++++---- 2 files changed, 8 insertions(+), 5 deletions(-) diff --git a/local.md b/local.md index a8d87a581..523d1cef9 100644 --- a/local.md +++ b/local.md @@ -1,6 +1,6 @@ # Local development -To speed up the build, you should consider commenting out the `git-revision-date-localized` and `minify` plugin in mkdocs.yml +Thanks to the group plugin, we do not run slow plugins on local runs, to replicate a real build, add the CI variable, `-e CI=true`. ## Build image diff --git a/mkdocs.yml b/mkdocs.yml index 3b6df1f26..e569d356a 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -86,10 +86,13 @@ plugins: pad: 0 theme: 3 dark_theme: 200 - - git-revision-date-localized: - enable_creation_date: true - - minify: - minify_html: true + - group: + enabled: !ENV CI + plugins: + - git-revision-date-localized: + enable_creation_date: true + - minify: + minify_html: true - search - tags: tags: false