Polling Log
This page captures the polling log that triggered this build.
Started on 22-Nov-2018 11:46:13 Started by event from 192.30.253.29 ⇒ https://build.overture.au.dk:8080/jenkins/github-webhook/ on Thu Nov 22 11:46:13 CET 2018 Using strategy: Default [poll] Last Built Revision: Revision b634965ff5cec4c6f168737e2b554f1d3ef4e92e (refs/remotes/origin/development) > /usr/bin/git --version # timeout=10 > /usr/bin/git ls-remote -h https://github.com/overturetool/vdm2c.git # timeout=10 Found 14 remote heads on https://github.com/overturetool/vdm2c.git Ignoring refs/heads/kel/cmake-test-speedup as it doesn't match any of the configured refspecs Ignoring refs/heads/vpb/removerclassrefs as it doesn't match any of the configured refspecs Ignoring refs/heads/mha/dev as it doesn't match any of the configured refspecs Ignoring refs/heads/mha/development as it doesn't match any of the configured refspecs Ignoring refs/heads/mha/vdm2asn1 as it doesn't match any of the configured refspecs Ignoring refs/heads/vpb/memcheck as it doesn't match any of the configured refspecs Ignoring refs/heads/master as it doesn't match any of the configured refspecs Ignoring refs/heads/pvj/version-numbers as it doesn't match any of the configured refspecs Ignoring refs/heads/pvj/issue-125 as it doesn't match any of the configured refspecs Ignoring refs/heads/vpb/auto-gc as it doesn't match any of the configured refspecs Ignoring refs/heads/vpb/dev as it doesn't match any of the configured refspecs Ignoring refs/heads/vpb/development as it doesn't match any of the configured refspecs Ignoring refs/heads/pvj/development as it doesn't match any of the configured refspecs [poll] Latest remote head revision on refs/heads/development is: 15eb3a278da2a66eb41abdc6759a16030be3b1d0 Done. Took 0.63 sec Changes found