From 8b3869fc5fc588cdda0bce95509eb67a90d950c4 Mon Sep 17 00:00:00 2001
From: arunshenoy99 <devarunshenoy99@gmail.com>
Date: Mon, 27 Mar 2023 17:37:47 +0530
Subject: [PATCH] don't run PHP lint on files inside the build folder

---
 .github/workflows/lint-check-php.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/lint-check-php.yml b/.github/workflows/lint-check-php.yml
index 19315778d..8bf33ef52 100644
--- a/.github/workflows/lint-check-php.yml
+++ b/.github/workflows/lint-check-php.yml
@@ -3,6 +3,7 @@ on:
   push:
     paths:
       - '**.php'
+      - '!build/**'
   pull_request:
     types: [opened, edited, reopened, ready_for_review]
     paths: