mirror of
https://github.com/zebrajr/node.git
synced 2026-01-15 12:15:26 +00:00
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>
This commit is contained in:
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user