diff --git a/dawn-user/dev b/dawn-user/dev index 5643a3dc2e13bd284fcfff645738bf3ca60f954f..0d6bb95d224cfce4a80dabf828acd4bc2d93d2c9 100644 --- a/dawn-user/dev +++ b/dawn-user/dev @@ -13,8 +13,7 @@ pipeline { stage('build') { steps { sh ''' - sudo docker build -t docker.registry.dawn.int:5000/dawn/dawn-user:latest . -f Dockerfile - sudo docker push docker.registry.dawn.int:5000/dawn/dawn-user:latest + make dist-latest ''' } }