Allow PRs that reduce patch coverage. (#140)

We still require that PRs improve overall coverage. Also, we allow Codecov to comment on our PRs -- that is helpful so we can save a click.
vtjeng · Sep 5, 2023 · 3792e31 · 3792e31
1 parent 7255ab3
commit 3792e31
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/.codecov.yml b/.codecov.yml
@@ -1 +1,7 @@
-comment: false
+# source: https://docs.codecov.com/docs/commit-status
+coverage:
+  status:
+    patch:
+      default:
+        target: auto
+        threshold: 10%