DOC: publish documentation at every push to the main branch

Author: dnicolodi

.github/workflows/docs.yml

@@ -6,8 +6,12 @@ name: docs
 
 on:
   push:
-    tags:
-      - '[0-9]+.[0-9]+.[0-9]+'
+    branches:
+      - main
+    paths:
+      - docs/**
+      - CHANGELOG.rst
+      - README.md
   pull_request:
     branches:
       - main
@@ -16,10 +20,6 @@ on:
       - docs/**
       - CHANGELOG.rst
       - README.md
-  workflow_dispatch:
-    inputs:
-      tag:
-        required: true
 
 jobs:
 
@@ -46,6 +46,6 @@ jobs:
     environment:
       name: github-pages
     runs-on: ubuntu-latest
-    if: ${{ github.event_name == 'workflow_dispatch' || github.ref_type == 'tag' }}
+    if: ${{ github.ref == 'refs/heads/main' }}
     steps:
       - uses: actions/deploy-pages@v4