DBmaestro and CircleCI: making CI/CD complete