codecov token for tikv/migration

Usage

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