From 56c6597330c7a8461427ce559b6c334d799c8a68 Mon Sep 17 00:00:00 2001 From: Julien Benhaim Date: Thu, 16 Nov 2023 12:35:40 +0100 Subject: [PATCH] Check that image_dev exists --- pipeline.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/pipeline.py b/pipeline.py index 8db0c9eb1..0e4ddc904 100644 --- a/pipeline.py +++ b/pipeline.py @@ -79,9 +79,10 @@ def build_and_push_image( include_tags=args["include_tags"], ) - push_manifest(config, architectures, args["image_dev"]) - if config.gh_run_id is not None and config.gh_run_id != "": - push_manifest(config, architectures, args["image_dev"], config.gh_run_id) + if args["image_dev"]: + push_manifest(config, architectures, args["image_dev"]) + if config.gh_run_id is not None and config.gh_run_id != "": + push_manifest(config, architectures, args["image_dev"], config.gh_run_id) if release: push_manifest(config, architectures, args["image"], args["release_version"])