CI: fix docs build and deploy workflow

The deploy was not triggered when a tag is pushed.
dnicolodi · Apr 17, 2024 · c35f2d0 · c35f2d0
1 parent b1a5a5a
commit c35f2d0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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