fix?: commonly ignored files

erikwrede · Oct 17, 2024 · 3c238db · 3c238db
1 parent a806493
commit 3c238db
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -59,7 +59,7 @@ jobs:
           IGNORED_FILES_UNPROCESSED=$(git ls-files --cached --ignored --exclude-from=all.gitignore)
           echo "IGNORED_FILES before grep: $IGNORED_FILES_UNPROCESSED"
           
-          IGNORED_FILES=$(grep -v -F "patches/@codspeed+core+3.1.0.patch" <<< "$IGNORED_FILES_UNPROCESSED")
+          IGNORED_FILES=$(grep -F "patches/@codspeed+core+3.1.0.patch" <<< "$IGNORED_FILES_UNPROCESSED")
           echo "IGNORED_FILES after grep: $IGNORED_FILES"
         
           echo "IGNORED_FILES: $IGNORED_FILES"