From f30b8816ceb28015de303bafc97a89b9cd69ac96 Mon Sep 17 00:00:00 2001 From: Antoine Eddi <5222525+aeddi@users.noreply.github.com> Date: Fri, 6 Dec 2024 11:54:05 +0100 Subject: [PATCH] ci: make github-bot ignore events emitted by codecov (#3274) It's a bit of a "push and pray" since it would take too long to set up to reproduce this on my test repo/org, but I've triple-checked the documentation, the previous runs, etc., and it should be fine. Related to https://github.com/gnolang/gno/issues/3238#issuecomment-2516995329
Contributors' checklist... - [ ] Added new tests, or not needed, or not feasible - [ ] Provided an example (e.g. screenshot) to aid review or the PR is self-explanatory - [ ] Updated the official documentation or not needed - [ ] No breaking changes were made, or a `BREAKING CHANGE: xxx` message was included in the description - [ ] Added references to related issues and PRs - [ ] Provided any useful hints for running manual tests
--- .github/workflows/bot.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/bot.yml b/.github/workflows/bot.yml index cbfec5730fc..15ad9c6aa04 100644 --- a/.github/workflows/bot.yml +++ b/.github/workflows/bot.yml @@ -33,8 +33,8 @@ jobs: # handle the parallel processing of the pull-requests define-prs-matrix: name: Define PRs matrix - # Prevent bot from retriggering itself - if: ${{ github.actor != vars.GH_BOT_LOGIN }} + # Prevent bot from retriggering itself and ignore event emitted by codecov + if: ${{ github.actor != vars.GH_BOT_LOGIN && github.actor != "codecov[bot]" }} runs-on: ubuntu-latest permissions: pull-requests: read