From 9af32c12ff08e218a7b03aae5fa166ccb27e5428 Mon Sep 17 00:00:00 2001 From: Antoine du Hamel Date: Thu, 14 Oct 2021 15:10:36 +0200 Subject: [PATCH 1/2] doc: update Collaborator guide to reflect GitHub web UI update --- doc/guides/collaborator-guide.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/doc/guides/collaborator-guide.md b/doc/guides/collaborator-guide.md index e3d48c09c5338a..c199269565c8b4 100644 --- a/doc/guides/collaborator-guide.md +++ b/doc/guides/collaborator-guide.md @@ -242,8 +242,7 @@ files also qualify as affecting the `node` binary: 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 "🔄 Re-run all jobs" button, on the right-hand side of "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 From e13ecc17b1466fbcdae277249f0c27339d840f82 Mon Sep 17 00:00:00 2001 From: Antoine du Hamel Date: Thu, 14 Oct 2021 16:23:41 +0200 Subject: [PATCH 2/2] fixup! doc: update Collaborator guide to reflect GitHub web UI update Co-authored-by: Darshan Sen --- doc/guides/collaborator-guide.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/guides/collaborator-guide.md b/doc/guides/collaborator-guide.md index c199269565c8b4..50f2a1264001a2 100644 --- a/doc/guides/collaborator-guide.md +++ b/doc/guides/collaborator-guide.md @@ -242,7 +242,8 @@ files also qualify as affecting the `node` binary: If there are GitHub Actions CI failures unrelated to the change in the pull -request, try "🔄 Re-run all 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