Since the latest Ubuntu image, lcov fails complaining about negative branch counts.
It suggests passing fprofile-update=atomic to gcc, but that does not seem to help either.
So for now I've changed ubuntu-latest to ubuntu-22.04 in the coverage section of the CI definition, but it probably needs more investigation.