From 6b9605cb9f5a0aad2328c16c07462166dbbc0224 Mon Sep 17 00:00:00 2001
From: Marc Mueller <30130371+cdce8p@users.noreply.github.com>
Date: Mon, 14 Nov 2022 21:08:23 +0100
Subject: [PATCH] Bump timeout for docs check [ci]

---
 .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