Started on Aug 23, 2023, 10:03:02 AM
Using strategy: Default
[poll] Last Built Revision: Revision 25793db44d21629a96bb8fe46858c611cff9a870 (refs/remotes/origin/releases/23.1)
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-scout/scout.rt.git # timeout=10
Found 133 remote heads on https://github.com/eclipse-scout/scout.rt.git
[poll] Latest remote head revision on refs/heads/releases/23.1 is: 8240f0295ea035627d904598f794df3a946f808e
Done. Took 2.9 sec
Changes found