[DevOps] update jenkinsfile.

jrpizani · Aug 25, 2023 · f35739b · f35739b
1 parent 4202be3
commit f35739b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/devops/Jenkinsfile b/devops/Jenkinsfile
@@ -271,6 +271,9 @@ pipeline {
 
                 sh 'docker tag $REGISTRY_DEV/$DOCKER_NAMESPACE$APP_NAME_DEVICE_IMAGE:$VERSION_DEV $REGISTRY_DOCKER_HUB/fedml/fedml-device-image:dev'
                 sh 'docker push $REGISTRY_DOCKER_HUB/fedml/fedml-device-image:dev'
+
+                sh 'docker tag  $REGISTRY_DEV/$DOCKER_NAMESPACE$APP_NAME_SERVER_AGENT:$VERSION_DEV $REGISTRY_DOCKER_HUB/fedml/$APP_NAME_SERVER_AGENT:$VERSION_DEV'
+                sh 'docker push $REGISTRY_DOCKER_HUB/fedml/$APP_NAME_SERVER_AGENT:$VERSION_DEV'
               }
 
               sh 'docker push  $REGISTRY_DEV/$DOCKER_NAMESPACE$APP_NAME_SERVER_AGENT:$VERSION_DEV'