From 3bd9a459362bf923b4a6757c0cdfdb26bfa2f99b Mon Sep 17 00:00:00 2001
From: Daniele Nicolodi <daniele@grinta.net>
Date: Mon, 21 Oct 2024 20:05:34 +0200
Subject: [PATCH] DOC: publish documentation at every push to the main branch

---
 .github/workflows/docs.yml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index b5ba60447..02070ea06 100644
--- a/.github/workflows/docs.yml
+++ b/.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