fix deployment

Author: malmans2

.github/workflows/on-push.yml

@@ -143,7 +143,9 @@ jobs:
         make docs-build
     - name: Deploy documentation
       uses: peaceiris/actions-gh-pages@v4
-      if: github.ref == 'refs/heads/main'
+      if: |
+        github.event_name == 'push' &&
+        startsWith(github.ref, 'refs/tags')
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
         publish_dir: ./docs/_build/html/
@@ -225,7 +227,8 @@ jobs:
     runs-on: ubuntu-latest
     needs: distribution
     if: |
-      github.ref == 'refs/heads/main' &&
+      always() && true &&
+      needs.distribution.result == 'success' &&
       github.event_name == 'push' &&
       startsWith(github.ref, 'refs/tags')
     environment: