Skip to content

Commit

Permalink
FIXUP: Print out if the image has been pulled fro the registry
Browse files Browse the repository at this point in the history
  • Loading branch information
almet committed Oct 1, 2024
1 parent ed500e1 commit 549d6d8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion dev_scripts/env.py
Original file line number Diff line number Diff line change
Expand Up @@ -641,7 +641,7 @@ def build_dev(self, show_dockerfile=DEFAULT_SHOW_DOCKERFILE, sync=False):
image = image_name_build_dev(self.distro, self.version)

if sync and self.pull_image_from_registry(image):
# The image has been pulled from the registry, no need to build it.
print("Image has been pulled from the registry, no need to build it.")
return
elif sync:
print("Image label not in registry, building it")
Expand Down

0 comments on commit 549d6d8

Please sign in to comment.