Started on 23.10.2019 23:06:51 Started by event from 140.82.115.245 → 162.158.79.72 → 140.82.115.245 ⇒ https://grill.wurstlang.org:8080/hudson/github-webhook/ on Mi Okt 23 23:06:51 MESZ 2019 Using strategy: Default [poll] Last Built Revision: Revision dcf9691f7e5c5641d1f3c0b612a88dbdc61b6015 (refs/remotes/origin/master) > git --version # timeout=10 > git ls-remote -h https://github.com/wurstscript/WurstScript.git # timeout=10 Found 31 remote heads on https://github.com/wurstscript/WurstScript.git [poll] Latest remote head revision on refs/heads/master is: 8f0eb2bbcb117218da4015757ae17371514325f7 Done. Took 0,58 Sekunden Changes found