Started on 22.10.2019 22:46:18 Started by event from 192.30.252.99 → 162.158.79.210 → 192.30.252.99 ⇒ https://grill.wurstlang.org:8080/hudson/github-webhook/ on Di Okt 22 22:46:18 MESZ 2019 Using strategy: Default [poll] Last Built Revision: Revision ba5faa84497784777c917db495e118b62709eee8 (refs/remotes/origin/master) > git --version # timeout=10 > git ls-remote -h https://github.com/wurstscript/WurstScript.git # timeout=10 Found 30 remote heads on https://github.com/wurstscript/WurstScript.git [poll] Latest remote head revision on refs/heads/master is: dcf9691f7e5c5641d1f3c0b612a88dbdc61b6015 Done. Took 0,56 Sekunden Changes found