ci script updated to run docs build only on push

This commit is contained in:
Nicolas 2025-09-09 22:57:02 +02:00
parent 65b9a300b9
commit df592aef6a
1 changed files with 2 additions and 0 deletions

View File

@ -140,6 +140,7 @@ jobs:
path: tests/out/test_*_render*.pdf path: tests/out/test_*_render*.pdf
build-docs: build-docs:
if: github.event_name == 'push'
needs: build-ubuntu needs: build-ubuntu
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
@ -183,6 +184,7 @@ jobs:
path: docs/build/html path: docs/build/html
deploy: deploy:
if: github.event_name == 'push'
needs: build-docs needs: build-docs
runs-on: ubuntu-latest runs-on: ubuntu-latest
permissions: permissions: