diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 7c0cc1b846..88e20dcdf8 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -5,7 +5,12 @@ on: paths-ignore: - '*.md' - '*LICENSE' + - 'docs/**' pull_request: + paths-ignore: + - '*.md' + - '*LICENSE' + - 'docs/**' concurrency: group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && format('pr-{0}', github.event.pull_request.number) || format('run-{0}', github.run_id) }}