Started on Feb 11, 2026, 12:34:41 PM Started by event from 10.233.91.165 ⇒ http://do.pingcap.net/jenkins/github-webhook/ on Wed Feb 11 12:34:41 UTC 2026 Using strategy: Default [poll] Last Built Revision: Revision 5c784863c1104c967298067dff6f2818810da916 (origin/main) The recommended git tool is: git No credentials specified > git --version # timeout=10 > git --version # 'git version 2.47.3' > git ls-remote -h -- https://github.com/PingCAP-QE/ci.git # timeout=10 Found 25 remote heads on https://github.com/PingCAP-QE/ci.git [poll] Latest remote head revision on refs/heads/main is: a2e1c56855180680220a2dd90bf1c8e92af5ca78 Done. Took 0.82 sec Changes found