Started on Aug 24, 2017 5:40:33 PM Started by event from 192.30.252.40 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Thu Aug 24 17:40:33 CEST 2017 Using strategy: Default [poll] Last Built Revision: Revision a9359a920e07f30254931f2b32cfb21e55496685 (refs/remotes/origin/master) using GIT_SSH to set credentials wrzh075.rzhousing.uni-wuerzburg.de > git ls-remote -h https://github.com/faustedition/faust-gen # timeout=10 Found 1 remote heads on https://github.com/faustedition/faust-gen [poll] Latest remote head revision on refs/heads/master is: 3ca95e91e54415d33dc60193ceafdb7f75bb1098 Done. Took 0.74 sec Changes found