Polling Log

This page captures the polling log that triggered this build.

Started on Jul 31, 2025, 9:04:04 AM
Started by event from 10.233.91.165 ⇒ http://do.pingcap.net/jenkins/github-webhook/ on Thu Jul 31 09:04:04 UTC 2025
Using strategy: Default
[poll] Last Built Revision: Revision a1a4fd455f4ac4a9a9509e505698febc40b28875 (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 13 remote heads on https://github.com/PingCAP-QE/ci.git
[poll] Latest remote head revision on refs/heads/main is: 4d3ed5bda8b2e7a73e578bd95f5e8da9b1a91058
Done. Took 0.93 sec
Changes found