Started on Apr 30, 2019 8:46:00 PM Using strategy: Default [poll] Last Built Revision: Revision 1e0ccd5473686111a04c2af5d589c6eedb50dda7 (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/admin-console # timeout=10 Found 11 remote heads on https://gerrit.googlesource.com/plugins/admin-console [poll] Latest remote head revision on refs/heads/stable-2.12 is: 1e0ccd5473686111a04c2af5d589c6eedb50dda7 - already built by 7 Done. Took 1.4 sec No changes