Commit e11d82ba authored Dec 13, 2022 by Stephanos Ioannidis

ci: doc-build: Disable PDF documentation build for pull requests



This commit disables the PDF documentation build for pull request CI
runs because the HTML documentation build already validates the
documentation changes and the PDF build takes significantly longer than
the HTML build.

Signed-off-by: Stephanos Ioannidis <root@stephanos.io>

parent 264afa8a

.github/workflows/doc-build.yml

+1 −0

Original line number	Diff line number	Diff line
		@@ -115,6 +115,7 @@ jobs:

		doc-build-pdf:
		name: "Documentation Build (PDF)"
		if: github.event_name != 'pull_request'
		runs-on: ubuntu-20.04
		container: texlive/texlive:latest
		timeout-minutes: 60

Admin message