mirrors/dmd
1
0
Fork 0
mirror of https://github.com/dlang/dmd.git synced 2025-04-30 15:10:15 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions 11

[CodeCov] Fix 'No parent commit was found' by allowing coverage offsets

Browse source
This commit is contained in:
Sebastian Wilzbach 2017-12-27 01:27:11 +01:00
parent 00b6a4c9a7
commit 32f0439daf
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
.codecov.yml
View file

@ -39,4 +39,11 @@ coverage:
- "test/.*/::src/" - "test/.*/::src/"
- "fail_compilation/::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 comment: false