From 3becad48d18c66c1b259c53e7498a762df9a9b23 Mon Sep 17 00:00:00 2001
From: Clemens Rudert <crud3_rt@posteo.ch>
Date: Mon, 9 Oct 2023 21:02:47 +0200
Subject: [PATCH] run also on master

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 51dbdc8..7c1ed81 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -101,7 +101,7 @@ jobs:
     name: Deploy docs to GitHub Pages
     needs:
       - build-doc
-    if: ${{ startsWith(github.ref, 'refs/tags/master') }}
+    if: ${{ startsWith(github.ref, 'refs/tags') }} | ${{ github.ref == 'refs/heads/master' }}
     runs-on: ubuntu-22.04
     steps:
       - uses: actions/checkout@v3