Home
last modified time | relevance | path

Searched defs:registry_user_image (Results 1 – 1 of 1) sorted by relevance

/external/mesa3d/.gitlab-ci/windows/
Dmesa_container.ps17 $registry_user_image = $args[3] variable
19 docker --config "windows-docker.conf" pull "$registry_user_image" variable
21 Write-Host "User image $registry_user_image already exists; not rebuilding" variable
31 docker --config "windows-docker.conf" push "$registry_user_image" variable
35 Write-Host "Pushing image to $registry_user_image failed" variable
41 Write-Host "No image found at $registry_user_image or $registry_central_image; rebuilding" variable
42 docker --config "windows-docker.conf" build --no-cache -t "$registry_user_image" . variable
50 docker --config "windows-docker.conf" push "$registry_user_image" variable
54 Write-Host "Pushing image to $registry_user_image failed" variable