From 32f0439daf29eedf6861bcc8bb92e7c900cda895 Mon Sep 17 00:00:00 2001
From: Sebastian Wilzbach <seb@wilzba.ch>
Date: Wed, 27 Dec 2017 01:27:11 +0100
Subject: [PATCH] [CodeCov] Fix 'No parent commit was found' by allowing
 coverage offsets

---
 .codecov.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.codecov.yml b/.codecov.yml
index 83ec057520..ba5e860dec 100644
--- a/.codecov.yml
+++ b/.codecov.yml
@@ -39,4 +39,11 @@ coverage:
     - "test/.*/::src/"
     - "fail_compilation/::src/"
 
+  # At CircleCi, the PR is merged into `master` before the testsuite is run.
+  # This allows CodeCov to adjust the resulting coverage diff, s.t. it matches
+  # with the GitHub diff.
+  # https://github.com/codecov/support/issues/363
+  # https://docs.codecov.io/v4.3.6/docs/comparing-commits
+  allow_coverage_offsets: true
+
 comment: false