From da8ef8da4eaa24a20dc32877bb19f85b03d3eb1a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Wei=C3=9Fe?= <dw@edgeless.systems>
Date: Tue, 8 Nov 2022 12:12:56 +0100
Subject: [PATCH] Fix PKI selection in pipeline
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Daniel Weiße <dw@edgeless.systems>
---
 .github/workflows/build-os-image.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build-os-image.yml b/.github/workflows/build-os-image.yml
index 7cddb798a..09ec3fd22 100644
--- a/.github/workflows/build-os-image.yml
+++ b/.github/workflows/build-os-image.yml
@@ -90,7 +90,7 @@ jobs:
         id: pki-set
         shell: bash
         run: |
-          if [ "${{ steps.image-type.outputs.image-type }}" = "release" ]
+          if [ "${{ steps.image-type.outputs.imageType }}" = "release" ]
           then
             echo "pkiSet=pki_prod" >> $GITHUB_OUTPUT
           else