From c7e549f3b8c71122d8800725e4c95db2fb9ce866 Mon Sep 17 00:00:00 2001 From: Rob Watson Date: Thu, 29 Jul 2021 08:49:01 +0200 Subject: [PATCH] ghci: further error-handling fixes --- script/ghci | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/script/ghci b/script/ghci index 7dbc0dc..736cfa3 100755 --- a/script/ghci +++ b/script/ghci @@ -6,8 +6,9 @@ set -e export GH_NO_UPDATE_NOTIFIER=1 -ghoutput=$(gh pr checks) -if [ ! $? -eq 0 ]; then +# GitHub CLI returns non-zero error code if checks are not complete: +ghoutput=$(gh pr checks || true) +if ! echo "$ghoutput" | grep -q 'https://'; then exit 1 fi