Skip to content
Jenkins
log in
Dashboard
pingcap
tidb
release-7.5
ghpr_check
#792
Edit Build Information
Status
Changes
Console Output
View Build Information
Parameters
Timings
Git Build Data
See Fingerprints
Open Blue Ocean
Pipeline Steps
Workspaces
Previous Build
Next Build
Loading
DisplayName
?
N/A
Loading...
Description
?
PR #52932: domain/metrics: add a metric for lease expired time (#47730) null
Loading...
![[Jenkins]](/jenkins/static/62b7ca6c/images/svgs/logo.svg){kind=logo}
