Started on Sep 18, 2019 12:06:24 PM
Started by event from 192.30.252.96 → 172.30.42.1 ⇒ https://jenkins.eclipse.org/jakartaee-platform/github-webhook/ on Wed Sep 18 12:06:24 GMT 2019
Using strategy: Default
[poll] Last Built Revision: Revision 7f031e120bbc0ec1e7fe3548b30fdd15bc546ecb (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 3 remote heads on git@github.com:eclipse-ee4j/jakartaee-api.git
[poll] Latest remote head revision on refs/heads/master is: 714cb1f9b600dce4c285a95e3eae1f86521fc23a
Done. Took 3 sec
Changes found