From 7b82885a144ad9361e57311308b44741a3b07a67 Mon Sep 17 00:00:00 2001
From: Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de>
Date: Fri, 4 Oct 2024 16:35:16 +0200
Subject: [PATCH] ci(actions): Also deploy to GH Pages if branch starts with
 `deploy-pages`

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index dedee1d3..1760ba8c 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -62,7 +62,7 @@ jobs:
 
   deploy-docs:
     name: Deploy Docs to GitHub Pages
-    if: ${{ startsWith(github.ref, 'refs/tags/') || github.ref == 'refs/heads/main' }}
+    if: ${{ startsWith(github.ref, 'refs/tags/') || github.ref == 'refs/heads/main' || startsWith(github.ref, 'refs/heads/deploy-pages') }}
     runs-on: ubuntu-latest
     needs: [build]
     permissions: