This is done - any issues, please shout. Jon
On Fri, Jan 11, 2019 at 1:27 PM Ivan Junckes Filho <[email protected]> wrote: > +1 Jon > > On Fri, Jan 11, 2019 at 11:23 AM Jonathan Gallimore < > [email protected]> wrote: > > > 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 > > > > > > > > > >
