Polling Log

View as plain text

This page captures the polling log that triggered this build.

Started on 15-Feb-2019 00:00:11
Using strategy: Default
[poll] Last Built Revision: Revision 2b7b870bd9f3337cb79baac91100b3ed3427cb66 (refs/remotes/origin/master)
 > git --version # timeout=10
using GIT_SSH to set credentials 
 > git ls-remote -h git@gitlab.inria.fr:gazelle/library/version.git # timeout=10
Found 1 remote heads on git@gitlab.inria.fr:gazelle/library/version.git
[poll] Latest remote head revision on refs/heads/master is: 6039bcb043687f7767c62bdc6f7c694995b5b3c1
Done. Took 0.22 sec
Changes found