Fix PKI selection in pipeline

Signed-off-by: Daniel Weiße <dw@edgeless.systems>
This commit is contained in:
Daniel Weiße 2022-11-08 12:12:56 +01:00
parent a5f9bc6ada
commit da8ef8da4e
No known key found for this signature in database
GPG key ID: 7DD3015F3DDE4B9C

View file

@ -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