I learned just now that you can have GitHub CI block merging a PR if code coverage goes down. I know automated coverage tools are not perfect, since they can’t judge the quality of a test, but I may still try it.