From 54b2a93c10665b658e447194335829e247a99af6 Mon Sep 17 00:00:00 2001
From: Victor Reijgwart <victorreijgwart@gmail.com>
Date: Tue, 17 Sep 2024 17:05:34 +0200
Subject: [PATCH] Also deploy updated documentation on tag pushes

---
 .github/workflows/docs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 31b9d9b66..e54b1ad19 100644
--- 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: