Started on Aug 22, 2019 11:09:09 PM Started by event from 140.82.115.68 → 172.30.42.1 ⇒ https://jenkins.eclipse.org/jakartaee-platform/github-webhook/ on Thu Aug 22 23:09:09 GMT 2019 Using strategy: Default [poll] Last Built Revision: Revision 40075fb97186d0f18be1db5795179a021d24547c (refs/remotes/origin/master) using credential d9f6b8a6-b073-4bee-83ac-76bc3eadc1f7 > git --version # timeout=10 using GIT_SSH to set credentials GitHub Bot (SSH) > git ls-remote -h git@github.com:eclipse-ee4j/jakartaee-api.git # timeout=10 Found 2 remote heads on git@github.com:eclipse-ee4j/jakartaee-api.git [poll] Latest remote head revision on refs/heads/master is: 62f2c8e10ab035f790b39edffcbd6880e089e15f Done. Took 0.55 sec Changes found