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