Add some debug output for the tag name

... from the `get_release_info` github action
so that we make sure the output of it is correct
so long as the tag name is concerned.

Author: NlightNFotis

.github/workflows/release-packages.yaml

@@ -222,6 +222,7 @@ jobs:
         uses: bruceadams/[email protected]
       - name: Set Image Tag
         run: |
+          echo ${{  steps.get_release_info.outputs.tag_name }}
           VERSION = ${{ steps.get_release_info.outputs.tag_name }}
           arrVERSION=(${VERSION//-/ })
           echo "IMAGE_TAG=diffblue/cbmc:${arrVERSION[1]}" >> $GITHUB_ENV