mirrors/dmd
1
0
Fork 0
mirror of https://github.com/dlang/dmd.git synced 2025-04-28 22:20:37 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Move allow_coverage_offsets to the codecov section

Browse source
This commit is contained in:
Sebastian Wilzbach 2017-12-28 09:43:16 +01:00
parent 565d6b36b5
commit d68b3de824
1 changed files with 7 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

14
.codecov.yml
View file

@ -15,6 +15,13 @@ codecov:
- !continuous-integration/jenkins/pr-merge - !continuous-integration/jenkins/pr-merge
- !continuous-integration/travis-ci/pr - !continuous-integration/travis-ci/pr
# 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
coverage: coverage:
precision: 3 precision: 3
round: down round: down
@ -39,11 +46,4 @@ 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