Skip to content
[Jenkins]Jenkins
log in

Git Polling Log

Started on Oct 8, 2020 3:00:00 AM
Using strategy: Default
[poll] Last Built Revision: Revision 24070dea520f0407f073e8f0b3da2e458f568659 (refs/remotes/origin/android2.0)
The recommended git tool is: git
No credentials specified
 > git --version # timeout=10
 > git --version # 'git version 2.7.4'
 > git ls-remote -h https://github.com/bgoglin/hwloc # timeout=10
Found 46 remote heads on https://github.com/bgoglin/hwloc
Using strategy: Default
[poll] Last Built Revision: Revision 24070dea520f0407f073e8f0b3da2e458f568659 (refs/remotes/origin/android2.0)
The recommended git tool is: git
No credentials specified
 > git --version # timeout=10
 > git --version # 'git version 2.7.4'
 > git ls-remote -h https://github.com/bgoglin/hwloc # timeout=10
Found 46 remote heads on https://github.com/bgoglin/hwloc
Done. Took 2.4 sec
No changes