tree fe64ecc3d1d5d8a36bdd904a55dec5122bf5a28c
parent 220b713fec64de0ae71e366d17091462e628b604
author James E. Blair <jeblair@redhat.com> 1585870151 -0700
committer James E. Blair <jeblair@redhat.com> 1585870151 -0700

Run plugin build job on core plugins

Core plugins do not need to build all of gerrit; bazel will build
whatever part of gerrit is required.  So changes to core plugin
repos should run the plugin-build job rather than the full
gerrit build.

Change-Id: Ibaa325242cf97d0c4102bd12f59851d4f7766bcf