![[Jenkins]](/jenkins/static/dde5e32c/images/jenkins-header-logo-v2.svg){kind=logo}
Polling Log
View as plain text
This page captures the polling log that triggered this build.
Started on 22-Sep-2020 09:28:54 Started by event from 140.82.115.151 → 10.83.255.253 → 140.82.115.151 ⇒ https://build.overture.au.dk/jenkins/github-webhook/ on Tue Sep 22 09:28:54 CEST 2020 Using strategy: Default [poll] Last Built Revision: Revision 7efed2161e330d856677c901d9b7d93b27b29a2f (refs/remotes/origin/development) No credentials specified > /usr/bin/git --version # timeout=10 > /usr/bin/git ls-remote -h -- https://github.com/overturetool/vdm2c.git # timeout=10 Found 16 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/test-webhook 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/update_overture30 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: c75d23a12eadd22dcbb6def645e44ef45a3a8414 Done. Took 0.58 sec Changes found