Jenkinsfile: Update docker_registry to push image to

Open-EO · Sep 24, 2024 · dd69f9e · dd69f9e
1 parent 98045d0
commit dd69f9e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -3,6 +3,8 @@
 
 pythonPipeline {
   build_container_image = true
+  // Set dev registry as this job has no promotion job and we want to put the image in a public registry
+  docker_registry_dev = 'vito-docker.artifactory.vgt.vito.be'
   package_name = 'openeo-aggregator'
   test_module_name = 'openeo_aggregator'
   wipeout_workspace = true