diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index a70e2c5..81e8aa1 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -13,6 +13,7 @@ pipeline { stages { stage('Publish') { steps { + sh 'pip wheel -w dist' sshagent(['jenkins-web']) { sh "ssh -oStrictHostKeyChecking=no ${PUBLISH_USER}@${PUBLISH_HOST} :" sh '. ci/publish.sh'