Enable "docs" github action only when a tag is pushed

Author: dieriver

.github/workflows/docs.yaml

@@ -7,7 +7,7 @@ jobs:
     name: Build Docs
     runs-on: ubuntu-latest
     # We only execute this step if the commit is tagged, i.e., this is a release
-    #if: startsWith(github.ref, 'refs/tags')
+    if: startsWith(github.ref, 'refs/tags')
     steps:
       - name: Checkout code
         uses: actions/checkout@master
@@ -36,7 +36,7 @@ jobs:
     needs: build
     runs-on: ubuntu-latest
     # We only execute this step if the commit is tagged, i.e., this is a release
-    #if: startsWith(github.ref, 'refs/tags')
+    if: startsWith(github.ref, 'refs/tags')
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}