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