ci: update docs job condition

Michael-J-Ward · May 31, 2024 · f87a700 · f87a700
1 parent 8bda77c
commit f87a700
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -25,7 +25,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Set target branch
-        if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+        if: github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref_type == 'tag')
         id: target-branch
         run: |
           set -x
@@ -40,7 +40,7 @@ jobs:
       - name: Checkout docs sources
         uses: actions/checkout@v3
       - name: Checkout docs target branch
-        if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+        if: github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref_type == 'tag')
         uses: actions/checkout@v3
         with:
           fetch-depth: 0
@@ -78,7 +78,7 @@ jobs:
           make html
 
       - name: Copy & push the generated HTML
-        if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+        if: github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref_type == 'tag')
         run: |
           set -x
           cd docs-target