+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 > > > > > >
