Polling Log

View as plain text

This page captures the polling log that triggered this build.

Started on Aug 8, 2017 9:50:21 AM
Started by event from ⇒ http://ci.inria.fr:7001/gemoc/github-webhook/ on Tue Aug 08 09:50:21 CEST 2017
Using strategy: Default
[poll] Last Built Revision: Revision 745586743652de8f00ff71c75aeaefa7c972022e (refs/remotes/origin/master)
using GIT_SSH to set credentials GitHubAccount
 > git ls-remote -h git@github.com:gemoc/gemoc-studio.git # timeout=10
Found 7 remote heads on git@github.com:gemoc/gemoc-studio.git
[poll] Latest remote head revision on refs/heads/master is: e9fb2b774a50cb9a1efe080b619d9a6fbb41592c
Done. Took 1.2 sec
Changes found