Started on 04.06.2021 13:36:12 Started by event from 140.82.115.244 → 172.70.35.84 → 140.82.115.244 ⇒ https://grill.wurstlang.org:8080/hudson/github-webhook/ on Fr Jun 04 13:36:12 MESZ 2021 Using strategy: Default [poll] Last Built Revision: Revision b5c12b957b467c602471907e900fe8605e8b15c9 (refs/remotes/origin/master) > git --version # timeout=10 > git ls-remote -h https://github.com/wurstscript/WurstScript.git # timeout=10 Found 34 remote heads on https://github.com/wurstscript/WurstScript.git [poll] Latest remote head revision on refs/heads/master is: bca8fcc0b49cf35b560e26983dd3a06f1aa9a286 Done. Took 0,29 Sekunden Changes found