Last GitHub Push
Started on 13-Oct-2020 05:21:24
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 Oct 13 05:21:24 CEST 2020
Using strategy: Default
[poll] Last Built Revision: Revision c75d23a12eadd22dcbb6def645e44ef45a3a8414 (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 18 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/dependabot/maven/core/junit-junit-4.13.1 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/dependabot/maven/core/vdm2c/junit-junit-4.13.1 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 - already built by 378
Done. Took 0.61 sec
No changes