Started on 01.04.2019 13:58:33 Started by event from 192.30.252.34 → 162.158.78.113 → 192.30.252.34 ⇒ https://grill.wurstlang.org:8080/hudson/github-webhook/ on Mo Apr 01 13:58:33 MESZ 2019 Using strategy: Default [poll] Last Built Revision: Revision 4b1c0327216b5e4f2c86f801c7fc02000f3825ec (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: f724d0ad72ba828cc8930e2341fe00313e705578 Done. Took 0,6 Sekunden Changes found