diff --git a/.github/workflows/clang.yml b/.github/workflows/clang.yml
index 6e6efa6..3f9aa9d 100644
--- a/.github/workflows/clang.yml
+++ b/.github/workflows/clang.yml
@@ -159,10 +159,10 @@ jobs:
       - name: checkout
         run: |
           set -x
-          echo $GITHUB_REF
-          echo $GITHUB_HEAD_REF
+          echo GITHUB_REF=$GITHUB_REF
+          echo GITHUB_HEAD_REF=$GITHUB_HEAD_REF
           branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}}  # https://stackoverflow.com/questions/58033366
-          echo $branch
+          echo branch=$branch
           git init -q .
           git config --system --add safe.directory '*'  # needed for running in the docker image. see https://github.com/actions/checkout/issues/1169
           git remote add origin $GITHUB_SERVER_URL/$GITHUB_REPOSITORY
diff --git a/.github/workflows/gcc.yml b/.github/workflows/gcc.yml
index 2510b6e..5f16116 100644
--- a/.github/workflows/gcc.yml
+++ b/.github/workflows/gcc.yml
@@ -53,10 +53,10 @@ jobs:
       - name: checkout
         run: |
           set -x
-          echo $GITHUB_REF
-          echo $GITHUB_HEAD_REF
+          echo GITHUB_REF=$GITHUB_REF
+          echo GITHUB_HEAD_REF=$GITHUB_HEAD_REF
           branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}}  # https://stackoverflow.com/questions/58033366
-          echo $branch
+          echo branch=$branch
           git init -q .
           git config --system --add safe.directory '*'  # needed for running in the docker image. see https://github.com/actions/checkout/issues/1169
           git remote add origin $GITHUB_SERVER_URL/$GITHUB_REPOSITORY
@@ -109,10 +109,10 @@ jobs:
       - name: checkout
         run: |
           set -x
-          echo $GITHUB_REF
-          echo $GITHUB_HEAD_REF
+          echo GITHUB_REF=$GITHUB_REF
+          echo GITHUB_HEAD_REF=$GITHUB_HEAD_REF
           branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}}  # https://stackoverflow.com/questions/58033366
-          echo $branch
+          echo branch=$branch
           git init -q .
           git config --system --add safe.directory '*'  # needed for running in the docker image. see https://github.com/actions/checkout/issues/1169
           git remote add origin $GITHUB_SERVER_URL/$GITHUB_REPOSITORY
@@ -193,10 +193,10 @@ jobs:
       - name: checkout
         run: |
           set -x
-          echo $GITHUB_REF
-          echo $GITHUB_HEAD_REF
+          echo GITHUB_REF=$GITHUB_REF
+          echo GITHUB_HEAD_REF=$GITHUB_HEAD_REF
           branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}}  # https://stackoverflow.com/questions/58033366
-          echo $branch
+          echo branch=$branch
           git init -q .
           git config --system --add safe.directory '*'  # needed for running in the docker image. see https://github.com/actions/checkout/issues/1169
           git remote add origin $GITHUB_SERVER_URL/$GITHUB_REPOSITORY
@@ -305,10 +305,10 @@ jobs:
       - name: checkout
         run: |
           set -x
-          echo $GITHUB_REF
-          echo $GITHUB_HEAD_REF
+          echo GITHUB_REF=$GITHUB_REF
+          echo GITHUB_HEAD_REF=$GITHUB_HEAD_REF
           branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}}  # https://stackoverflow.com/questions/58033366
-          echo $branch
+          echo branch=$branch
           git init -q .
           git config --system --add safe.directory '*'  # needed for running in the docker image. see https://github.com/actions/checkout/issues/1169
           git remote add origin $GITHUB_SERVER_URL/$GITHUB_REPOSITORY