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