ci: Improve mike version titles

Now use the full tag name for tags, and for branches add a short SHA, so
users know the exact version of the documentation they are reading.

Signed-off-by: Leandro Lucarella <[email protected]>

Author: llucax

.github/workflows/ci.yaml

@@ -353,9 +353,10 @@ jobs:
         if: steps.mike-version.outputs.version
         env:
           VERSION: ${{ steps.mike-version.outputs.version }}
+          TITLE: ${{ steps.mike-version.outputs.title }}
           ALIASES: ${{ steps.mike-version.outputs.aliases }}
         run: |
-          mike deploy --update-aliases "$VERSION" $ALIASES
+          mike deploy --update-aliases --title "$TITLE" "$VERSION" $ALIASES
 
       - name: Sort site versions
         if: steps.mike-version.outputs.version