Started on 23.10.2019 00:04:22 Started by event from 192.30.252.96 → 172.69.63.112 → 192.30.252.96 ⇒ https://grill.wurstlang.org:8080/hudson/github-webhook/ on Mi Okt 23 00:04:22 MESZ 2019 Using strategy: Default [poll] Last Built Revision: Revision 87cbb5c7332d7c9b86feb6855429275523157b1c (refs/remotes/origin/master) > git --version # timeout=10 > git ls-remote -h https://github.com/wurstscript/WurstSetup.git # timeout=10 Found 1 remote heads on https://github.com/wurstscript/WurstSetup.git [poll] Latest remote head revision on refs/heads/master is: c98ea9cacce1f2a6b3e16cbf6f353a0e148ca58d Done. Took 0,47 Sekunden Changes found