codecov token for tiproxy

Usage

This credential has been recorded as used in the following places:
Note: usage tracking requires the cooperation of plugins and consequently may not track every use.