Started on Sep 16, 2023, 1:49:00 AM
Using strategy: Default
[poll] Last Built Revision: Revision 73914537d144061eedcb71caf7aae47e606b3a1d (refs/remotes/origin/master)
The recommended git tool is: NONE
No credentials specified
 > JGit ls-remote # timeout=10
Found 1057 remote heads on https://git.dev.opencascade.org/repos/occt.git
[poll] Latest remote head revision on refs/heads/master is: 28b505b27baa09dfba68242534a89a55960b19ac
Done. Took 1.3 sec
Changes found