ci: publish documentation if something changes

Signed-off-by: Marco Nenciarini <marco.nenciarini@enterprisedb.com>
This commit is contained in:
Marco Nenciarini 2025-05-29 18:22:45 +02:00
parent 5aa6c523c6
commit 758dfb96d3

View File

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