rob
/
dotfiles
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

ghci: further error-handling fixes

This commit is contained in:
Rob Watson 2021-07-29 08:49:01 +02:00
parent daa8beedbb
commit c7e549f3b8
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
script/ghci
View File

@ -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