From 14c99005a62dd2a3d65c318d317b8230e8667f48 Mon Sep 17 00:00:00 2001
From: Michael Chirico <chiricom@google.com>
Date: Mon, 29 Jul 2024 10:00:43 -0700
Subject: [PATCH] Exclude "results will be incomplete" hits (but always dump
 output)

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

diff --git a/.github/workflows/rchk.yaml b/.github/workflows/rchk.yaml
index 8461d42a5..058bebf0d 100644
--- a/.github/workflows/rchk.yaml
+++ b/.github/workflows/rchk.yaml
@@ -48,9 +48,9 @@ jobs:
         # ERROR: too many states (abstraction error?))
         # https://github.com/kalibera/rchk
         run: |
-          if [ $(grep -c "Suspicious call" rchk.out) -gt 0 ] || [ $(grep -c "\[UP\]" rchk.out) -gt 0 ] || [ $(grep -c "\[PB\]" rchk.out) -gt 0 ]; then
+          cat rchk.out
+          if [ $(grep -c "Suspicious call" rchk.out) -gt 0 ] || [ $(grep -F "[UP]" rchk.out | grep -Fvc "results will be incomplete") -gt 0 ] || [ $(grep -Fc "[PB]" rchk.out) -gt 0 ]; then
             echo "Found rchk errors"
-            cat rchk.out
             exit 1
           fi
         if: always()