Started on 21.01.2020 23:00:35 Started by event from 192.30.252.91 → 172.68.65.139 → 192.30.252.91 ⇒ https://grill.wurstlang.org:8080/hudson/github-webhook/ on Di Jan 21 23:00:35 MEZ 2020 Using strategy: Default [poll] Last Built Revision: Revision c2332f2bd17f9db5220be00b2b9d7b084a6b9cdf (refs/remotes/origin/master) > git --version # timeout=10 > git ls-remote -h https://github.com/wurstscript/WurstScript.git # timeout=10 Found 35 remote heads on https://github.com/wurstscript/WurstScript.git [poll] Latest remote head revision on refs/heads/master is: eff4d6555bad7411257fc84e16333dcdd070537e Done. Took 0,63 Sekunden Changes found