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

Reply via email to