tree 510b1ec6728a794e7d2255bf9bd02e92019dd4dc
parent 7897e448ae0212c3e5d91c0c0dbf6098332fd3da
author Matteo Scandolo <matteo.scandolo@gmail.com> 1489094114 -0800
committer Matteo Scandolo <matteo.scandolo@gmail.com> 1489094114 -0800

Updated Jenkins pipeline file

Change-Id: I15843ca9bf8981dc22c490c34ff5bdd3bd092dd1