| commit | 7ed33e45a3c1b160d4e2381760681d8b0a272cd6 | [log] [tgz] |
|---|---|---|
| author | Jakub Josef <jakub.josef@gmail.com> | Fri Jun 23 16:51:34 2017 +0200 |
| committer | Jakub Josef <jakub.josef@gmail.com> | Fri Jun 23 16:51:34 2017 +0200 |
| tree | 3008003c825b2f0f8c510206b1fa99624ddcc60a | |
| parent | 4df0c1f69b2e016eedcd8d2a847aaeb855772f1b [diff] |
New version of gating pipeline with capability to give Verified +1 Change-Id: Ic1cf1ea0c6f35b2456e97fd77e832ade9a04dfed