github: Skip the build if the change is under tools/ci/docker/linux
Signed-off-by: Xiang Xiao <xiaoxiang@xiaomi.com>
This commit is contained in:
parent
00db279c00
commit
b090b7340b
|
@ -16,6 +16,7 @@ on:
|
|||
pull_request:
|
||||
paths-ignore:
|
||||
- 'Documentation/**'
|
||||
- 'tools/ci/docker/linux/**'
|
||||
push:
|
||||
paths-ignore:
|
||||
- 'Documentation/**'
|
||||
|
|
Loading…
Reference in New Issue