Started on 10-Sep-2019 10:58:49
Started by event from 192.30.252.98 ⇒ https://build.overture.au.dk:8080/jenkins/github-webhook/ on Tue Sep 10 10:58:49 CEST 2019
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 15 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/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: 7efed2161e330d856677c901d9b7d93b27b29a2f - already built by 371
Done. Took 0.64 sec
No changes