Started on 12.09.2022 18:57:06 Started by event from 140.82.115.117 → 172.70.134.145 → 140.82.115.117 ⇒ https://grill.wurstlang.org:8080/hudson/github-webhook/ on Mo Sep 12 18:57:06 MESZ 2022 Using strategy: Default [poll] Last Built Revision: Revision 9f5811174bde8ac0f238f713ba5f04a8ebf62411 (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 39 remote heads on https://github.com/wurstscript/WurstScript.git [poll] Latest remote head revision on refs/heads/master is: 9783e0abbe82535564fe21d02cc6f738a9132c7b Done. Took 0,26 Sekunden Changes found