diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 6c2ee81a00..4038bdf19c 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -4,6 +4,9 @@ on: push: branches: - master + # nginx.conf is deployed and invalidated by deploy-nginx.yml; avoid a duplicate here. + paths-ignore: + - nginx.conf workflow_dispatch: jobs: