From b2540d4b14ce5ffd101f40a0c3ef5be5c36f0c48 Mon Sep 17 00:00:00 2001
From: Yiheng Xu <charlesyihengxu@gmail.com>
Date: Thu, 4 Sep 2025 23:19:53 +0800
Subject: [PATCH] fix ci

---
 .github/workflows/ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 1619ea4a..391809cc 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -197,7 +197,7 @@ jobs:
       #   and when a command is used as a conditional.
       - name: 'Run shellcheck'
         run: |-
-          git ls-files | grep -E '^([^.]+|.*\.(sh|zsh|bash))$' | xargs file --mime-type \
+          git ls-files | grep -E '^([^.]+|.*\.(sh|zsh|bash))$' | grep -v '^integration-tests/terminal-bench/ci-tasks/' | xargs file --mime-type \
             | grep "text/x-shellscript" | awk '{ print substr($1, 1, length($1)-1) }' \
             | xargs shellcheck \
               --check-sourced \
@@ -230,7 +230,7 @@ jobs:
 
       - name: 'Run yamllint'
         run: |-
-          git ls-files | grep -E '\.(yaml|yml)' | xargs yamllint --format github
+          git ls-files | grep -E '\.(yaml|yml)' | grep -v '^integration-tests/terminal-bench/ci-tasks/' | xargs yamllint --format github
 
   #
   # Lint: All