Update deploy-docs.yml

- Add deployment of the documentation on a published release.
- Cut deployment of the documentation on push to the `main` branch.
This commit is contained in:
Ferry Cools
2025-09-01 09:10:42 +02:00
committed by GitHub
parent 43434e7e58
commit 032f7ab48f

View File

@@ -1,9 +1,11 @@
name: Deploy Documentation name: Deploy Documentation
on: on:
push: release:
branches: types: [published]
- main # push:
# branches:
# - main
# pull_request: # pull_request:
# branches: # branches:
# - main # - main