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