diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index ee295aad210..698aa216072 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -16,6 +16,7 @@ on: pull_request: paths-ignore: - 'Documentation/**' + - 'tools/ci/docker/linux/**' push: paths-ignore: - 'Documentation/**'