docs: only build on release

ZEISS · Jul 16, 2024 · 00d6c20 · 00d6c20
1 parent b8ae0ff
commit 00d6c20
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -4,8 +4,8 @@ name: Build docs
 
 on:
   push:
-    branches:
-      - main
+    tags:
+      - "v*"
   workflow_dispatch:
 
 concurrency:
@@ -26,6 +26,8 @@ jobs:
     - run: |
         make docs
     - uses: peaceiris/actions-gh-pages@v4
+      if: github.ref == 'refs/heads/main'
       with:
+        keep_files: true
         github_token: ${{ secrets.GITHUB_TOKEN }}
         publish_dir: ./public