From ff159a6a5b6b1d0df5bd85af49386f440a5ded45 Mon Sep 17 00:00:00 2001
From: Marc Mueller <30130371+cdce8p@users.noreply.github.com>
Date: Mon, 14 Nov 2022 21:24:13 +0100
Subject: [PATCH] Bump timeout for docs check [ci] (#7771)

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

diff --git a/.github/workflows/checks.yaml b/.github/workflows/checks.yaml
index a413e21bb8..667cc3de12 100644
--- a/.github/workflows/checks.yaml
+++ b/.github/workflows/checks.yaml
@@ -161,7 +161,7 @@ jobs:
   documentation:
     name: documentation
     runs-on: ubuntu-latest
-    timeout-minutes: 10
+    timeout-minutes: 20
     needs: prepare-base
     steps:
       - name: Check out code from GitHub