Started on Mar 28, 2024, 9:12:00 AM
Using strategy: Default
[poll] Last Built Revision: Revision 9b3b643a08ba25f93a89a4ee8a52368c419a3ebc (refs/remotes/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/jakartaee/websocket-api.git # timeout=10
Found 7 remote heads on https://github.com/jakartaee/websocket-api.git
[poll] Latest remote head revision on refs/heads/master is: 01835decb7eafded3e75e09046b29b4030c0d814
Done. Took 0.23 sec
Changes found