Started on 08.11.2023 17:21:52 Started by event from 140.82.115.34 → 172.70.38.234 → 140.82.115.34 ⇒ https://grill.wurstlang.org:8080/hudson/github-webhook/ on Mi Nov 08 17:21:52 MEZ 2023 Using strategy: Default [poll] Last Built Revision: Revision 7cda368a96a593f8793fb4d733b81a8973175674 (refs/remotes/origin/master) > git --version # timeout=10 > git --version # 'git version 2.17.1' > git ls-remote -h -- https://github.com/wurstscript/WurstScript.git # timeout=10 Found 41 remote heads on https://github.com/wurstscript/WurstScript.git [poll] Latest remote head revision on refs/heads/master is: 54584883066ccf927eea6d1c7dfcb6edc122c80c Done. Took 0,25 Sekunden Changes found