diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 5eb2f11f7..7f6854e2e 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -5,7 +5,7 @@ on: workflow_dispatch: # allow manual updates push: branches: - - main + - master paths: - "docs/**" - "spec/**"