Skip to content

ci: replace deprecated PingCAP domains#1069

Merged
ti-chi-bot[bot] merged 2 commits intorelease-7.1from
fix/update-pingcap-domains-release-7-1
Apr 7, 2026
Merged

ci: replace deprecated PingCAP domains#1069
ti-chi-bot[bot] merged 2 commits intorelease-7.1from
fix/update-pingcap-domains-release-7-1

Commits

Commits on Apr 2, 2026