Skip VPP build for merge jobs with Gerrit ID != git HEAD. 26/30926/6
authorDave Wallace <[email protected]>
Tue, 26 Jan 2021 02:41:14 +0000 (21:41 -0500)
committerDave Wallace <[email protected]>
Wed, 27 Jan 2021 02:12:31 +0000 (21:12 -0500)
commitd75b6bb8373eb649eb694113f73a9207cce3602f
tree7c2a8f22d2f63358eb4371f01b77ece19ec4dd95
parent28a7f17ca28d87fa8c4b21b5a51f96c206e6cada
Skip VPP build for merge jobs with Gerrit ID != git HEAD.

- Since merge jobs are serialized after the patches have
  been merged into git, all merge jobs which do not have
  the same Gerrit ID as git HEAD are redundant.  Skip
  them to save useless cycles and to reduce the size of
  the build queues when multiple patches are merged in a
  short amount of time.

- This also fixes the issue with packagecloud packages
  containing different contents then the associated
  Gerrit ID when built & pushed in this state.

Change-Id: I822492bd1d523576373bb268258c181a9c5edb42
Signed-off-by: Dave Wallace <[email protected]>
jjb/scripts/packagecloud_push.sh
jjb/scripts/vpp/build.sh
jjb/scripts/vpp/docs.sh
jjb/scripts/vpp/make-test-docs.sh
jjb/scripts/vpp/sphinx-docs.sh