Git Polling Log
Started on 28-Feb-2021 01:30:00
Using strategy: Default
[poll] Last Built Revision: Revision 6c78c76447f40b423cbff1991c6d914b2153d519 (refs/remotes/origin/master)
The recommended git tool is: NONE
using credential 2ad325d5-1ad7-4c47-8fa6-7511b68f7a9e
> git --version # timeout=10
> git --version # 'git version 2.11.0'
using GIT_SSH to set credentials
> git ls-remote -h -- git@gitlab.inria.fr:gazelle/library/datatable-component.git # timeout=10
Found 1 remote heads on git@gitlab.inria.fr:gazelle/library/datatable-component.git
[poll] Latest remote head revision on refs/heads/master is: 6c78c76447f40b423cbff1991c6d914b2153d519 - already built by 10
Done. Took 0.15 sec
No changes