diff --git a/.github/workflows/ci-all.yml b/.github/workflows/ci-all.yml index dd39656fe..0a1130276 100644 --- a/.github/workflows/ci-all.yml +++ b/.github/workflows/ci-all.yml @@ -7,11 +7,13 @@ on: - "host/**" - "lib/**" - "script/**" + - "!docs/**" pull_request: paths: - "host/**" - "lib/**" - "script/**" + - "!docs/**" merge_group: env: diff --git a/.github/workflows/openapi-deploy.yml b/.github/workflows/openapi-deploy.yml index 01c47cb86..2e01cea6e 100644 --- a/.github/workflows/openapi-deploy.yml +++ b/.github/workflows/openapi-deploy.yml @@ -3,6 +3,8 @@ name: OpenAPI on: push: branches: ["main"] + paths-ignore: + - "docs/**" pull_request: merge_group: