Tidy up the version if we were on a branch with a / in it.

Branches with '/' in are annoying, but this is one time when we can't
change that.

Author: gerph

.github/workflows/ci.yml

@@ -157,7 +157,7 @@ jobs:
         id: version
         run: |
           eval "$(crosscompile/ci-vars)"
-          version="${CI_BRANCH_VERSION}"
+          version="${CI_BRANCH_VERSION//\//-}"
           echo "This is version: $version"
           leafname="PRMinXML-$version.zip"
           echo "version=$version" >> $GITHUB_OUTPUT