From 2cd3dcb385f0e4202648db51b13c845777c07432 Mon Sep 17 00:00:00 2001 From: Florian Klink Date: Thu, 4 Apr 2019 14:48:45 +0200 Subject: [PATCH] Update ci/dev-env-push.py Co-Authored-By: zimbatm --- ci/dev-env-push.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/dev-env-push.py b/ci/dev-env-push.py index 81a86c50f2..7542ea435b 100755 --- a/ci/dev-env-push.py +++ b/ci/dev-env-push.py @@ -44,7 +44,7 @@ def log_cmd(cmd): def get_secret(workdir, key): value = os.environ.pop(key, None) if value is None or value == f'$({key})': - log("could not find secret %s" % key) + log(f'could not find secret {key}') sys.exit(1) filepath = os.path.join(workdir, key)