diff options
author | Xuguang Mei <meixg@foxmail.com> | 2022-03-21 07:33:11 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-21 07:33:11 +0300 |
commit | 8f07452206233ebc8d0a29b66ba39caa7e13d3fe (patch) | |
tree | 784b2d9661fbfaf499fff97d6a4080140141fbcb /tools | |
parent | 419f02ba1f00cac3c26b7f0e9a3c01624a8b87cc (diff) |
tools: fix skip PR if CI is still running
resolve: https://github.com/nodejs/node/issues/40330
PR-URL: https://github.com/nodejs/node/pull/42377
Fixes: https://github.com/nodejs/node/issues/40330
Reviewed-By: Antoine du Hamel <duhamelantoine1995@gmail.com>
Reviewed-By: Michael Dawson <midawson@redhat.com>
Reviewed-By: Mestery <mestery@protonmail.com>
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/actions/commit-queue.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/actions/commit-queue.sh b/tools/actions/commit-queue.sh index 16fbc7f2ef1..309c1c5406b 100755 --- a/tools/actions/commit-queue.sh +++ b/tools/actions/commit-queue.sh @@ -40,7 +40,7 @@ for pr in "$@"; do fi # Skip PR if CI is still running - if ncu-ci url "https://github.com/${OWNER}/${REPOSITORY}/pull/${pr}" 2>&1 | grep "^Result *PENDING"; then + if gh pr checks "$pr" | grep -q "\spending\s"; then echo "pr ${pr} skipped, CI still running" continue fi |