From b8bd753f8123786e49f674a300ed51a3d040fd2e Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Mon, 14 Apr 2025 14:43:28 +0000
Subject: docs: update configs.md skip-checks: true

---
 doc/configs.md  | 1 +
 doc/configs.txt | 1 +
 2 files changed, 2 insertions(+)

diff --git a/doc/configs.md b/doc/configs.md
index e45be040..9de59c7e 100644
--- a/doc/configs.md
+++ b/doc/configs.md
@@ -3945,6 +3945,7 @@ Default config:
   ```lua
   { ".github/workflows", ".forgejo/workflows", ".gitea/workflows" }
   ```
+- `workspace_required` : `true`
 
 ---
 
diff --git a/doc/configs.txt b/doc/configs.txt
index 8c1e2c14..32150f24 100644
--- a/doc/configs.txt
+++ b/doc/configs.txt
@@ -3519,6 +3519,7 @@ Default config:
   ```lua
   { ".github/workflows", ".forgejo/workflows", ".gitea/workflows" }
   ```
+- `workspace_required` : `true`
 
 
 ------------------------------------------------------------------------------
-- 
cgit v1.2.3-70-g09d2