Started on 31.07.2019 20:45:05 Started by event from 140.82.115.14 → 172.69.63.12 → 140.82.115.14 ⇒ https://grill.wurstlang.org:8080/hudson/github-webhook/ on Mi Jul 31 20:45:05 MESZ 2019 Using strategy: Default [poll] Last Built Revision: Revision ab9b5a2883c9bf8ee7d8a2174905ea188ecebf12 (refs/remotes/origin/master) > git --version # timeout=10 > git ls-remote -h https://github.com/wurstscript/WurstScript.git # timeout=10 Found 25 remote heads on https://github.com/wurstscript/WurstScript.git [poll] Latest remote head revision on refs/heads/master is: f5a2110fd17d3f73590a08b03083aaa1002d7ab1 Done. Took 1,6 Sekunden Changes found