ci: allow GitHub Pages deployment on tag pushes

Author: jtblin

.github/workflows/main.yml

@@ -67,7 +67,7 @@ jobs:
   deploy:
     name: Deploy to GitHub Pages
     needs: test
-    if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+    if: github.event_name == 'push' && (github.ref == 'refs/heads/main' || startsWith(github.ref, 'refs/tags/v'))
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}