Skip to content

Commit

Permalink
Merge pull request #995 from trungleduc/bugfix/bot-comment
Browse files Browse the repository at this point in the history
Bot skips Binder badge comment
  • Loading branch information
jtpio authored Oct 6, 2021
2 parents e99355f + 922b809 commit 473e3a9
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .github/workflows/benchmark-report.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand Down

0 comments on commit 473e3a9

Please sign in to comment.