Add mint to jenkins-build-targets