Git Polling Log
Started on May 2, 2024, 7:30:00 AM
Using strategy: Default
[poll] Last Built Revision: Revision ad278b901b45dbc58c23aa56d7fed90698f2faa5 (refs/remotes/origin/master)
The recommended git tool is: NONE
using credential 92401736-1319-4d25-9b3b-ad7fa5d3452a
> git --version # timeout=10
> git --version # 'git version 2.7.4'
using GIT_SSH to set credentials dvojtise on inria.gforge
> git ls-remote -h git@gitlab.inria.fr:atsyra/atsyra2.git # timeout=10
Found 5 remote heads on git@gitlab.inria.fr:atsyra/atsyra2.git
[poll] Latest remote head revision on refs/heads/master is: ad278b901b45dbc58c23aa56d7fed90698f2faa5 - already built by 601
Done. Took 0.63 sec
No changes