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