Last GitHub Push

Started on Jun 29, 2019 3:14:45 AM
Started by event from 140.82.115.69 → 172.30.42.1 ⇒ https://jenkins.eclipse.org/jakartaee-platform/github-webhook/ on Sat Jun 29 03:14:45 GMT 2019
Using strategy: Default
[poll] Last Built Revision: Revision 6b578aa6943f53bd054962dd60f23fc32b7d3b77 (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-firstcup.git # timeout=10
Found 2 remote heads on git@github.com:eclipse-ee4j/jakartaee-firstcup.git
[poll] Latest remote head revision on refs/heads/master is: 6b578aa6943f53bd054962dd60f23fc32b7d3b77 - already built by 3
Done. Took 0.58 sec
No changes