Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: make github-bot ignore events emitted by codecov (gnolang#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 gnolang#3238 (comment) <details><summary>Contributors' checklist...</summary> - [ ] 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 </details>
- Loading branch information