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 <fabiobaltieri@google.com>
This commit is contained in:
parent
56ab3a74e4
commit
a5dfd6bd64
4
.github/workflows/doc-build.yml
vendored
4
.github/workflows/doc-build.yml
vendored
@ -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
|
||||
|
||||
Loading…
Reference in New Issue
Block a user