Started on 30.06.2019 09:42:51 Started by event from 140.82.115.70 → 172.69.62.167 → 140.82.115.70 ⇒ https://grill.wurstlang.org:8080/hudson/github-webhook/ on So Jun 30 09:42:51 MESZ 2019 Using strategy: Default [poll] Last Built Revision: Revision 3982ec0723571da512e03e56587898af7c88446c (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: 45f1a383a5104a4a7915a4b913259b2caa7e57ab Done. Took 0,52 Sekunden Changes found