I'm on it. Thanks for the reply! Jon
On Fri, Jan 11, 2019 at 1:22 PM Bruno Baptista <[email protected]> wrote: > Hi Jon, > > Yes, please do add the profile. > > Thanks > > Bruno Baptista > https://twitter.com/brunobat_ > > > On 11/01/19 13:20, Jonathan Gallimore wrote: > > Hi > > > > I merged a PR (yesterday, I think) that add docker to the MP Metrics > > Counted example. It looks like plugin runs as part of the build, and if > > docker isn't running and available, the build fails. > > > > Any objections if I tweak this so you have to specify the actual goal or > > use a profile to enable this? I think this is likely to fail on the CI > > otherwise. > > > > Many thanks > > > > Jon > > >
