From a5dfd6bd64028de4e2c6c2d19093f745e6825ec9 Mon Sep 17 00:00:00 2001 From: Fabio Baltieri Date: Tue, 19 Jul 2022 16:38:12 +0100 Subject: [PATCH] ci: doc-build: bump timeout up to 45m Give documentation a bit more time to build, seems like we are hitting the current 30 minutes limit. Signed-off-by: Fabio Baltieri --- .github/workflows/doc-build.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml index df584310a54..57ca2d5f42e 100644 --- a/.github/workflows/doc-build.yml +++ b/.github/workflows/doc-build.yml @@ -36,7 +36,7 @@ jobs: doc-build-html: name: "Documentation Build (HTML)" runs-on: ubuntu-latest - timeout-minutes: 30 + timeout-minutes: 45 concurrency: group: doc-build-html-${{ github.ref }} cancel-in-progress: true @@ -117,7 +117,7 @@ jobs: name: "Documentation Build (PDF)" runs-on: ubuntu-latest container: texlive/texlive:latest - timeout-minutes: 30 + timeout-minutes: 45 concurrency: group: doc-build-pdf-${{ github.ref }} cancel-in-progress: true