From 4ed72bf27530e3d1d6eb9be71f7a7d02d1a11d00 Mon Sep 17 00:00:00 2001
From: Heinz-Alexander Fuetterer <fuetterh@posteo.de>
Date: Sat, 9 Dec 2023 09:53:17 +0100
Subject: [PATCH] s

---
 .github/workflows/ci.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f6307a55cf..2166aeb522 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -140,11 +140,10 @@ jobs:
     - name: Get short commit SHA
       run: |
         if [ "${{ github.event_name }}" = "pull_request" ]; then
-          echo "SHA=${{ github.event.pull_request.head.sha }}"
+          SHA="${{ github.event.pull_request.head.sha }}"
         else
-          echo "SHA=${{ github.sha }}"
+          SHA="${{ github.sha }}"
         fi
-        echo SHA
         echo $SHA
         echo "SHA=$(git rev-parse --short $SHA)" >> $GITHUB_ENV