Also deploy updated documentation on tag pushes

ethz-asl · Sep 17, 2024 · 54b2a93 · 54b2a93
1 parent c5f3cbb
commit 54b2a93
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -95,7 +95,7 @@ jobs:
 
   publish-docs:
     name: Publish to GH Pages
-    if: github.ref == 'refs/heads/main'
+    if: github.ref == 'refs/heads/main' || startsWith(github.event.ref, 'refs/tags/v')
     needs: build-docs
     runs-on: ubuntu-20.04
     permissions: