Started on 15.04.2019 19:56:53 Started by event from 192.30.252.46 → 162.158.78.113 → 192.30.252.46 ⇒ https://grill.wurstlang.org:8080/hudson/github-webhook/ on Mo Apr 15 19:56:53 MESZ 2019 Using strategy: Default [poll] Last Built Revision: Revision 40a70e0052729c32f8bf639d0ca75a0fa5b62d0e (refs/remotes/origin/master) > git --version # timeout=10 > git ls-remote -h https://github.com/wurstscript/WurstScript.git # timeout=10 Found 26 remote heads on https://github.com/wurstscript/WurstScript.git [poll] Latest remote head revision on refs/heads/master is: e35bfb002f3e292f5ad564f19e873508e760f3e6 Done. Took 0,63 Sekunden Changes found