Changes the coverage build to use a dedicate Docker container#504

anarthal merged 1 commit into

developboostorg/mysql:developfrom

bugfix/fix-coverageboostorg/mysql:bugfix/fix-coverageCopy head branch name to clipboard