Merge "CI: Fix bad reporting of status by the verification pub" into 13

author George Joseph <gjoseph@digium.com>

Mon, 16 Jul 2018 15:46:09 +0000 (10:46 -0500)

committer Gerrit Code Review <gerrit2@gerrit.digium.api>

Mon, 16 Jul 2018 15:46:09 +0000 (10:46 -0500)
author George Joseph <gjoseph@digium.com>
Mon, 16 Jul 2018 15:46:09 +0000 (10:46 -0500)
committer Gerrit Code Review <gerrit2@gerrit.digium.api>
Mon, 16 Jul 2018 15:46:09 +0000 (10:46 -0500)
diff --cc tests/CI/gates.jenkinsfile
Simple merge
diff --cc tests/CI/unittests.jenkinsfile
Simple merge
author	George Joseph <gjoseph@digium.com>
	Mon, 16 Jul 2018 15:46:09 +0000 (10:46 -0500)
committer	Gerrit Code Review <gerrit2@gerrit.digium.api>
	Mon, 16 Jul 2018 15:46:09 +0000 (10:46 -0500)
		1	2
tests/CI/gates.jenkinsfile	patch \|	diff1 \|	diff2 \|	blob \| history
tests/CI/unittests.jenkinsfile	patch \|	diff1 \|	diff2 \|	blob \| history