tree 3008003c825b2f0f8c510206b1fa99624ddcc60a
parent 4df0c1f69b2e016eedcd8d2a847aaeb855772f1b
author Jakub Josef <jakub.josef@gmail.com> 1498229494 +0200
committer Jakub Josef <jakub.josef@gmail.com> 1498229494 +0200

New version of gating pipeline with capability to give Verified +1

Change-Id: Ic1cf1ea0c6f35b2456e97fd77e832ade9a04dfed