Started on Mar 12, 2026, 10:42:15 AM Started by event from 10.233.92.173 ⇒ http://do.pingcap.net/jenkins/github-webhook/ on Thu Mar 12 10:42:15 UTC 2026 Using strategy: Default [poll] Last Built Revision: Revision ac4e61ec2c23494dc1d51d1bd849d45c67d8dfc1 (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 41 remote heads on https://github.com/PingCAP-QE/ci.git [poll] Latest remote head revision on refs/heads/main is: a537d31f483d531dda1b12479e4bbd711758a630 Done. Took 0.82 sec Changes found