Started on Sep 15, 2021 5:33:19 PM Started by event from 140.82.115.243 ⇒ https://jenkins:8080/github-webhook/ on Wed Sep 15 17:33:19 GMT 2021 Using strategy: Default [poll] Last Built Revision: Revision 11ca2cf4c01426176e0b9f5111aa594afd10983a (origin/master) The recommended git tool is: NONE No credentials specified > git --version # timeout=10 > git --version # 'git version 2.30.2' > git ls-remote -h -- https://github.com/cuberite/cuberite.git # timeout=10 Found 37 remote heads on https://github.com/cuberite/cuberite.git [poll] Latest remote head revision on refs/heads/master is: af93c297f4e18fced161250403de8f737558ad3b Done. Took 0.4 sec Changes found