Started on Jan 24, 2022, 8:24:57 PM Started by event from 140.82.115.116 ⇒ https://jenkins:8080/github-webhook/ on Mon Jan 24 20:24:57 GMT 2022 Using strategy: Default [poll] Last Built Revision: Revision e3d0874f7d255e1d00cd2fd69b76b9414e8e3b5b (origin/master) The recommended git tool is: NONE No credentials specified > git --version # timeout=10 > git --version # 'git version 2.34.1' > git ls-remote -h -- https://github.com/cuberite/cuberite.git # timeout=10 Found 30 remote heads on https://github.com/cuberite/cuberite.git [poll] Latest remote head revision on refs/heads/master is: f4c04299961a96e153bf50e2e1fb92c8f9db77f5 Done. Took 0.37 sec Changes found