From f6dd3bc982b1a10663aabb20aa448a6a27e15644 Mon Sep 17 00:00:00 2001 From: Gerard Marull-Paretas Date: Wed, 24 Nov 2021 15:20:15 +0100 Subject: [PATCH] ci: doc-build: set timeout to 30 minutes Give documentation build up to 30 minutes to finish. This should improve the user experience when Sphinx hangs due to broken references, a problem that needs some investigation. Signed-off-by: Gerard Marull-Paretas --- .github/workflows/doc-build.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml index 913cc38c6f..0e32f540d3 100644 --- a/.github/workflows/doc-build.yml +++ b/.github/workflows/doc-build.yml @@ -36,6 +36,7 @@ jobs: doc-build-html: name: "Documentation Build (HTML)" runs-on: ubuntu-latest + timeout-minutes: 30 steps: - name: checkout @@ -89,6 +90,7 @@ jobs: name: "Documentation Build (PDF)" runs-on: ubuntu-latest container: texlive/texlive:latest + timeout-minutes: 30 steps: - name: checkout