Started on Apr 30, 2019 9:10:00 PM Using strategy: Default [poll] Last Built Revision: Revision 2b230c6cb8230d2d29dbe1df3c39ce9d9ee306ef (origin/stable-2.12) > git --version # timeout=10 > git ls-remote -h https://gerrit.googlesource.com/gerrit # timeout=10 Found 16 remote heads on https://gerrit.googlesource.com/gerrit > git ls-remote -h https://gerrit.googlesource.com/plugins/x-docs # timeout=10 Found 6 remote heads on https://gerrit.googlesource.com/plugins/x-docs [poll] Latest remote head revision on refs/heads/stable-2.12 is: 2b230c6cb8230d2d29dbe1df3c39ce9d9ee306ef - already built by 12 Done. Took 1.6 sec No changes