From cd2ec69f011669631757f94596c47df1735eab1f Mon Sep 17 00:00:00 2001 From: iBug Date: Fri, 7 Feb 2025 20:18:13 +0800 Subject: [PATCH] Fixed wrong value type for enabled setting in GitHub Actions (#7980) --- docs/insiders/getting-started.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/insiders/getting-started.md b/docs/insiders/getting-started.md index d2aa59f08..8181eafbf 100644 --- a/docs/insiders/getting-started.md +++ b/docs/insiders/getting-started.md @@ -153,14 +153,14 @@ plugins: - search - social - # CI=1 mkdocs build + # CI=true mkdocs build - group: enabled: !ENV CI plugins: - git-revision-date-localized - git-committers - # INSIDERS=1 mkdocs build + # INSIDERS=true mkdocs build - group: enabled: !ENV INSIDERS plugins: @@ -170,8 +170,8 @@ plugins: Of course, you can also enable both groups with: -``` -CI=1 INSIDERS=1 mkdocs build +``` shell +CI=true INSIDERS=true mkdocs build ``` [built-in group plugin]: ../plugins/group.md