Started on Nov 8, 2021 10:16:53 PM Started by event from 140.82.115.249 ⇒ https://jenkins:8080/github-webhook/ on Mon Nov 08 22:16:53 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 38 remote heads on https://github.com/cuberite/cuberite.git [poll] Latest remote head revision on refs/heads/master is: afe07fe0900e5e03f439656558a953acf16f35b8 Done. Took 0.56 sec Changes found