From 18887e72ae805e9b421de3ae689a570ac8ff8d2b Mon Sep 17 00:00:00 2001
From: Palash Tyagi <23239946+Magnus167@users.noreply.github.com>
Date: Sun, 4 May 2025 18:48:26 +0100
Subject: [PATCH] Update deploy condition for GitHub Pages to include
 workflow_dispatch

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

diff --git a/.github/workflows/docs-and-testcov.yml b/.github/workflows/docs-and-testcov.yml
index ce46204..f59eebd 100644
--- a/.github/workflows/docs-and-testcov.yml
+++ b/.github/workflows/docs-and-testcov.yml
@@ -112,5 +112,5 @@ jobs:
           path: target/doc/
 
       - name: Deploy to GitHub Pages
-        if: github.event_name == 'push'
+        if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
         uses: actions/deploy-pages@v4