Where are the coverage reports?

[olexandr-konovalov]

https://app.codecov.io/gh/semigroups/Semigroups/ shows code coverage checks - but why they are not reported as comments in pull requests? Maybe @fingolfin knows?

[wilfwilson]

Because such comments are turned off in the .codecov.yml file. They're easy enough to turn on again.

[james-d-mitchell]

They seem to be back!

[james-d-mitchell]

I'd prefer that PR's not fail because of insufficient coverage because it's a bit flaky, if that's also possible?

[fingolfin]

Yes; you can also set a threshold, so that a failure is only declared if the coverage falls more than that threshold. See https://docs.codecov.com/docs/common-recipe-list which even has examples for just this case