Started on Jun 27, 2019 8:19:00 PM Using strategy: Default [poll] Last Built Revision: Revision a6473afa6bd8eafdfd5b1183375928681d55a115 (origin/stable-2.13) > 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/server-config # timeout=10 Found 2 remote heads on https://gerrit.googlesource.com/plugins/server-config [poll] Latest remote head revision on refs/heads/stable-2.13 is: a6473afa6bd8eafdfd5b1183375928681d55a115 - already built by 3 Done. Took 1.6 sec No changes