Git Polling Log

Started on May 18, 2024, 1:49:00 AM
Using strategy: Default
[poll] Last Built Revision: Revision b78ccf1f9b69249d5f5f9c4c1e137f0f16ea49a7 (refs/remotes/origin/master)
The recommended git tool is: NONE
No credentials specified
 > JGit ls-remote # timeout=10
Found 1105 remote heads on https://git.dev.opencascade.org/repos/occt.git
[poll] Latest remote head revision on refs/heads/master is: b78ccf1f9b69249d5f5f9c4c1e137f0f16ea49a7 - already built by 30
Done. Took 0.64 sec
No changes