Started on Sep 24, 2025, 2:16:13 AM Started by event from 10.233.92.173 ⇒ http://do.pingcap.net/jenkins/github-webhook/ on Wed Sep 24 02:16:13 UTC 2025 Using strategy: Default [poll] Last Built Revision: Revision 20d565bf2e1ae699bdac0d46084af6521b595fc3 (origin/main) The recommended git tool is: git No credentials specified > git --version # timeout=10 > git --version # 'git version 2.39.5' > git ls-remote -h -- https://github.com/PingCAP-QE/ci.git # timeout=10 Found 19 remote heads on https://github.com/PingCAP-QE/ci.git [poll] Latest remote head revision on refs/heads/main is: 0061b7e58608d49fd615b65dbb573daa0d1ad150 Done. Took 0.83 sec Changes found