From b02b2ee0007c1e0274b5b8be3144bb5eea7aefe3 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 30 Jul 2026 15:36:18 +0000
Subject: [PATCH 1/2] Initial plan


From f40d8fe75d114d3f1dcef024d77aac23a29dcd50 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 30 Jul 2026 15:39:04 +0000
Subject: [PATCH 2/2] Fix Lint tool-list CI failure on push events

The lint job was failing when triggered by a push to main/master because
the Find Pull Request step had failIfNotFound: true. When no PR exists
for the push event, this caused the entire lint job to fail.

Fix:
- Set failIfNotFound: false so the step succeeds when no PR is found
- Make Get labels step conditional on PR number being available
---
 .github/workflows/pr.yaml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/pr.yaml b/.github/workflows/pr.yaml
index b60c11edee7..3e07cd81cd0 100644
--- a/.github/workflows/pr.yaml
+++ b/.github/workflows/pr.yaml
@@ -131,8 +131,9 @@ jobs:
       uses: sharesight/find-github-pull-request@v1.3.0
       with:
         allowClosed: true
-        failIfNotFound: true
+        failIfNotFound: false
     - name: Get labels of the PR
+      if: ${{ steps.find-pr.outputs.number != '' }}
       uses: snnaplab/get-labels-action@v1
       with:
         number: ${{ steps.find-pr.outputs.number }}