session: refine record execution duration metric (#16453)#16561

Merged

sre-bot merged 5 commits intopingcap:release-4.0from sre-bot:release-4.0-7106b189df62

May 20, 2020

+32-22

Commits on Apr 17, 2020

cherry pick pingcap#16453 to release-4.0

crazycs520
authored and
sre-bot
committed