diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index 575db1c68e..23e9ef4674 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -1,10 +1,14 @@ name: Docker image on: - pull_request: {} + pull_request: + paths-ignore: + - 'doc/**' push: branches: - master + paths-ignore: + - 'doc/**' release: types: - published diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml index de06d653e0..ad0ce39882 100644 --- a/.github/workflows/linux.yml +++ b/.github/workflows/linux.yml @@ -5,7 +5,11 @@ on: branches: - master - 'support/*' - pull_request: {} + paths-ignore: + - 'doc/**' + pull_request: + paths-ignore: + - 'doc/**' concurrency: group: linux-${{ github.event_name == 'push' && github.sha || github.ref }} diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml index 0522548970..e06dbe34b1 100644 --- a/.github/workflows/windows.yml +++ b/.github/workflows/windows.yml @@ -5,7 +5,11 @@ on: branches: - master - 'support/*' - pull_request: {} + paths-ignore: + - 'doc/**' + pull_request: + paths-ignore: + - 'doc/**' concurrency: group: windows-${{ github.event_name == 'push' && github.sha || github.ref }}