tree 77f515980fed9d22e5c141fd15d5ce15d6645df7
parent 80d0010c150f9491972bbdacb0f2ccb91115d15c
author Matteo Scandolo <matteo.scandolo@gmail.com> 1616798400 -0700
committer Matteo Scandolo <matteo.scandolo@gmail.com> 1616798400 -0700

Minor tweaks to the pipelines

Change-Id: I92a17589f6b2699c12b1387b47e9d3bbe5729218