Started on 22.06.2019 17:49:53
Started by event from 140.82.115.71 → 162.158.79.192 → 140.82.115.71 ⇒ https://grill.wurstlang.org:8080/hudson/github-webhook/ on Sa Jun 22 17:49:53 MESZ 2019
Using strategy: Default
[poll] Last Built Revision: Revision dde4f9877d4433856be0db7c4138f412013a34af (refs/remotes/origin/master)
 > git --version # timeout=10
 > git ls-remote -h https://github.com/wurstscript/WurstScript.git # timeout=10
Found 28 remote heads on https://github.com/wurstscript/WurstScript.git
[poll] Latest remote head revision on refs/heads/master is: 438757f2a591ffd3c2f1bf7ab17c7d957de3a064
Done. Took 0,54 Sekunden
Changes found