Started on Sep 13, 2020 10:57:02 AM Started by event from 140.82.115.244 ⇒ https://jenkins:8080/github-webhook/ on Sun Sep 13 10:57:01 GMT 2020 Using strategy: Default [poll] Last Built Revision: Revision 834d61dacc1c9fd9d0f6cb7a7fcab41efb2d2ed6 (origin/master) No credentials specified > git --version # timeout=10 Found 47 remote heads on https://github.com/cuberite/cuberite.git [poll] Latest remote head revision on refs/heads/master is: 198407807f1241ea2b06179bcc036f9373c7258e Done. Took 0.71 sec Changes found