Issue 0545 fix deploy (#556)

* Fix docs build on master, include extra badge

* fix the ref

Author: nigelmegitt

.github/workflows/docs_and_ui.yml

@@ -64,7 +64,7 @@ jobs:
       - name: Publish to GitHub Pages
         env:
           GITHUB_REF: ${{ github.ref }}
-        if: ${{ env.GITHUB_REF == 'refs/head/master' }}
+        if: ${{ env.GITHUB_REF == 'refs/heads/master' }}
         uses: JamesIves/github-pages-deploy-action@4.1.7
         with:
           branch: gh-pages
@@ -75,7 +75,7 @@ jobs:
       - name: Skip publishing to GitHub Pages
         env:
           GITHUB_REF: ${{ github.ref }}
-        if: ${{ env.GITHUB_REF != 'refs/head/master' }}
+        if: ${{ env.GITHUB_REF != 'refs/heads/master' }}
         run: |
           echo "This is NOT a push to master branch, not pushing to github-pages"
           echo "ref is ${{ env.GITHUB_REF }}"