Merge branch 'master' into need_more_owls

2019-10-30 21:26:52 +01:00
parent ace33ba968 a435382b3f
commit a40699910c
1 changed files with 25 additions and 0 deletions
@@ -0,0 +1,25 @@
+codecov:
+  require_ci_to_pass: yes
+
+coverage:
+  precision: 2
+  round: down
+  range: "70...100"
+
+  status:
+    project: yes
+    patch: yes
+    changes: no
+
+parsers:
+  gcov:
+    branch_detection:
+      conditional: yes
+      loop: yes
+      method: no
+      macro: no
+
+comment: false
+  # layout: "reach,diff,flags,tree"
+  # behavior: default
+  # require_changes: no