Closed bosd closed 2 months ago
On my way to merge this fine PR! Prepared branch 14.0-ocabot-merge-pr-1871-by-pedrobaeza-bump-patch, awaiting test results.
The bot is taking a while. I noticed that GH actions on OCA repo's is very slow as well. (as well as with the runboats) @sbidoul Is something going on with the server?
/ocabot merge patch
On my way to merge this fine PR! Prepared branch 14.0-ocabot-merge-pr-1871-by-pedrobaeza-bump-patch, awaiting test results.
I think the Codecov situation is not yet resolved, so this won't get merged yet. More details on Discord infrastructure group.
@pedrobaeza your merge command was aborted due to failed check(s), which you can inspect on this commit of 14.0-ocabot-merge-pr-1871-by-pedrobaeza-bump-patch.
After fixing the problem, you can re-issue a merge command. Please refrain from merging manually as it will most probably make the target branch red.
/ocabot merge patch
This PR looks fantastic, let's merge it! Prepared branch 14.0-ocabot-merge-pr-1871-by-pedrobaeza-bump-patch, awaiting test results.
Congratulations, your PR was merged at 68c4d54184c3ad3aa298f092416ebc940e165f21. Thanks a lot for contributing to OCA. ❤️
Backport of #1723