From b090b7340bb079e4e7789dd60178755a4490a6ce Mon Sep 17 00:00:00 2001
From: Xiang Xiao <xiaoxiang@xiaomi.com>
Date: Tue, 22 Aug 2023 21:14:59 +0800
Subject: [PATCH] github: Skip the build if the change is under
 tools/ci/docker/linux

Signed-off-by: Xiang Xiao <xiaoxiang@xiaomi.com>
---
 .github/workflows/build.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index ee295aad21..698aa21607 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/**'