Started on Jan 24, 2022, 12:32:52 AM Started by event from 140.82.115.84 ⇒ https://jenkins:8080/github-webhook/ on Mon Jan 24 00:32:52 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 31 remote heads on https://github.com/cuberite/cuberite.git [poll] Latest remote head revision on refs/heads/master is: 5614d267f77d595c1df0e2d1331bfe653c575530 Done. Took 0.35 sec Changes found