Started on 23.06.2019 15:38:03 Started by event from 140.82.115.71 → 162.158.79.102 → 140.82.115.71 ⇒ https://grill.wurstlang.org:8080/hudson/github-webhook/ on So Jun 23 15:38:03 MESZ 2019 Using strategy: Default [poll] Last Built Revision: Revision 08239df1cc47974dfa74a2f8b196c090233f84a9 (refs/remotes/origin/master) > git --version # timeout=10 > git ls-remote -h https://github.com/wurstscript/WurstScript.git # timeout=10 Found 27 remote heads on https://github.com/wurstscript/WurstScript.git [poll] Latest remote head revision on refs/heads/master is: 89711b81d140970edc1766be5d2cc05efde45946 Done. Took 0,62 Sekunden Changes found