Skip to content

Polling Log

This page captures the polling log that triggered this build.

Started on Jul 18, 2023, 9:13:00 AM
Using strategy: Default
The recommended git tool is: NONE
No credentials specified
 > git --version # timeout=10
 > git --version # 'git version 2.40.0'
 > git ls-remote -h -- https://github.com/eclipse-leshan/leshan.git # timeout=10
Found 35 remote heads on https://github.com/eclipse-leshan/leshan.git
[poll] Latest remote head revision on refs/heads/master is: 21631ab497b3aa612b47e0834833449567460cca
Done. Took 0.29 sec
Changes found