Fixed wrong value type for enabled setting in GitHub Actions (#7980)

squidfunk · Feb 7, 2025 · cd2ec69 · cd2ec69
1 parent 99ef0b9
commit cd2ec69
Showing 1 changed file with 4 additions and 4 deletions.
diff --git 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