mirror of
https://github.com/dlang/dmd.git
synced 2025-04-25 12:40:11 +03:00
Fix capitalization of CircleCI in codecov configuration
`CircleCi` -> `CircleCI`
This commit is contained in:
parent
73c87a8acd
commit
78d05b209c
1 changed files with 2 additions and 2 deletions
|
@ -12,7 +12,7 @@ codecov:
|
|||
bot: dlang-bot
|
||||
ci:
|
||||
# https://docs.codecov.io/docs/detecting-ci-services
|
||||
# Azure, CircleCi and Cirrus generate coverages files
|
||||
# Azure, CircleCI and Cirrus generate coverages files
|
||||
# Don't wait for the other CIs
|
||||
- circleci.com
|
||||
- cirrus-ci.com
|
||||
|
@ -22,7 +22,7 @@ codecov:
|
|||
- !appveyor.com
|
||||
- !ci.dlang.io
|
||||
|
||||
# At CircleCi, the PR is merged into `master` before the testsuite is run.
|
||||
# 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
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue