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