doc: update Collaborator guide to reflect GitHub web UI update

PR-URL: https://github.com/nodejs/node/pull/40456
Reviewed-By: Darshan Sen <raisinten@gmail.com>
Reviewed-By: Richard Lau <rlau@redhat.com>
Reviewed-By: Michaël Zasso <targos@protonmail.com>
Reviewed-By: Michael Dawson <midawson@redhat.com>
This commit is contained in:
Antoine du Hamel 2021-10-14 15:10:36 +02:00 committed by Node.js GitHub Bot
parent bf82dcd5ba
commit a278117f28
1 changed files with 2 additions and 2 deletions

View File

@ -242,8 +242,8 @@ files also qualify as affecting the `node` binary:
</details>
If there are GitHub Actions CI failures unrelated to the change in the pull
request, try "Re-run all jobs". It's under the "🔄 Re-run jobs" button, on the
right-hand side of "Checks" tab.
request, try the "🔄 Re-run all jobs" button, on the right-hand side of the
"Checks" tab.
If there are Jenkins CI failures unrelated to the change in the pull request,
try "Resume Build". It is in the left navigation of the relevant