Hello Fabrice,
given that the tests there are very basics, we do not weight the codecov report as a no go for not merging the PR.
If we see that you submitted a test alongside the PR, it's almost certain that it's gonna get merged.
Eventually also ping Paulo again for review and merge.
Cheers
Angelo