ci: publish documentation if something changes (#375)

Signed-off-by: Marco Nenciarini <marco.nenciarini@enterprisedb.com>
This commit is contained in:
Marco Nenciarini 2025-05-29 18:45:25 +02:00 committed by GitHub
parent 5aa6c523c6
commit 8fcd748c3b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -8,7 +8,7 @@ on:
branches:
- main
paths:
- 'web/docs/**'
- 'web/**'
# Prevent parallel deployments when multiple commits are pushed to main
# in a short time.