From c64d631bd7e773c6244d717d5821f0a6218a164a Mon Sep 17 00:00:00 2001 From: Jeremy Tuloup Date: Wed, 6 Oct 2021 09:27:25 +0200 Subject: [PATCH] Backport PR #995: Bot skips Binder badge comment --- .github/workflows/benchmark-report.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/benchmark-report.yml b/.github/workflows/benchmark-report.yml index df43aa628..52b3dfd43 100644 --- a/.github/workflows/benchmark-report.yml +++ b/.github/workflows/benchmark-report.yml @@ -59,7 +59,8 @@ jobs: }) // Find any comment already made by the bot. - const botComment = comments.find(comment => comment.user.id === 41898282) + const botComments = comments.filter(comment => comment.user.id === 41898282) + const botComment = botComments.find(cm => !cm.body.includes('Try it on binder') ) if (botComment) { await github.issues.updateComment({ owner: context.repo.owner,