From 9110c857381d63c1666124c080a75a5b94d4356d Mon Sep 17 00:00:00 2001
From: Patrick Lehmann <Paebbels@gmail.com>
Date: Fri, 7 Mar 2025 21:01:29 +0100
Subject: [PATCH] Do not require 'coverage_report_json_directory' in
 SphinxDocumentation.yml.

---
 .github/workflows/SphinxDocumentation.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/SphinxDocumentation.yml b/.github/workflows/SphinxDocumentation.yml
index 6a0ee10..c3d2781 100644
--- a/.github/workflows/SphinxDocumentation.yml
+++ b/.github/workflows/SphinxDocumentation.yml
@@ -46,7 +46,7 @@ on:
         type: string
       coverage_report_json_directory:
         description: ''
-        required: true
+        required: false
         type: string
       coverage_json_artifact:
         description: 'Name of the coverage JSON artifact.'