Build #5190 (Nov 17, 2025, 6:58:14 AM)

PR #64487: *: Add metrics for index lookup push-down https://github.com/pingcap/tidb/pull/64487

	Started by user Jenkins Admin
	This run spent: 11 sec waiting; 6 min 2 sec build duration; 6 min 9 sec total from scheduled to completion.
	Revision: 89b0a241a86fde4bab5a841dee2f132d8d84273f Repository: https://github.com/PingCAP-QE/ci.git origin/main
	Revision: 8e9e97aa9b220b1880e2f3f9618bc89534d5adcf Repository: git@github.com:PingCAP-QE/tidb-test.git origin/master