Skip to content

Commit

Permalink
Exclude "results will be incomplete" hits (but always dump output)
Browse files Browse the repository at this point in the history
  • Loading branch information
MichaelChirico authored Jul 29, 2024
1 parent f9335c2 commit 14c9900
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/rchk.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -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()
Expand Down

0 comments on commit 14c9900

Please sign in to comment.