Git Polling Log
Started on May 9, 2024, 2:12:00 AM
Using strategy: Default
[poll] Last Built Revision: Revision 5b722eb3ea366f2af5ca3d0173940493812305f0 (origin/master)
The recommended git tool is: NONE
No credentials specified
> git --version # timeout=10
> git --version # 'git version 2.43.0'
> git ls-remote -h -- https://github.com/eclipse-ecoretools/ecoretools.git # timeout=10
Found 6 remote heads on https://github.com/eclipse-ecoretools/ecoretools.git
[poll] Latest remote head revision on refs/heads/master is: 5b722eb3ea366f2af5ca3d0173940493812305f0 - already built by 270
Done. Took 0.35 sec
No changes