From c35f2d0adb245f870ed84c9d8cfbcfaa278e2d54 Mon Sep 17 00:00:00 2001
From: Daniele Nicolodi <daniele@grinta.net>
Date: Wed, 17 Apr 2024 13:43:56 +0200
Subject: [PATCH] CI: fix docs build and deploy workflow

The deploy was not triggered when a tag is pushed.
---
 .github/workflows/docs.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index b67ecfd8c..b5ba60447 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -31,7 +31,7 @@ jobs:
           python-version: '3.11'
       - uses: actions/checkout@v4
         with:
-          ref: ${{ github.event.push.tag || github.event.inputs.tag }}
+          ref: ${{ github.event.inputs.tag || github.ref }}
       - run: python -m pip install .[docs]
       - run: python -m sphinx -W docs/ build/docs/
       - uses: actions/upload-pages-artifact@v3
@@ -46,6 +46,6 @@ jobs:
     environment:
       name: github-pages
     runs-on: ubuntu-latest
-    if: ${{ github.event.push.tag || github.event.inputs.tag }}
+    if: ${{ github.event_name == 'workflow_dispatch' || github.ref_type == 'tag' }}
     steps:
       - uses: actions/deploy-pages@v4