Skip to content

ci: make coverage job manual

It's broken atm, likely because of https://github.com/mozilla/grcov/issues/555

Merge request reports