Turn off Codecov annotations

Those annotations create enormous clutter in diff views on GitHub, making PR reviews complicated.
Since we are currently not headed toward 100% coverage, they provide little benefit.
This commit is contained in:
Jan Haller 2022-10-25 11:19:57 +02:00 committed by Lukas Dürrenberger
parent 6bd362ea7e
commit 0e16627677

View File

@ -37,4 +37,4 @@ comment:
require_base: no
github_checks:
annotations: true
annotations: false