From 0153c7fa5a5978f2292601f51d3af728e53b7160 Mon Sep 17 00:00:00 2001
From: Anders Smedegaard Pedersen <smedegaard@users.noreply.github.com>
Date: Tue, 31 Dec 2024 15:29:50 +0100
Subject: [PATCH] also dispatch deploy job (#173)

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

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index fb79f6c..4ccca6d 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -65,7 +65,7 @@ jobs:
             url: ${{ steps.deployment.outputs.page_url }}
         runs-on: self-hosted
         needs: build_docs
-        if: ${{ github.event.workflow_run.conclusion == 'success' }}
+        if: ${{ github.event.workflow_run.conclusion == 'success' || github.event_name == 'workflow_dispatch' }}
         permissions:
             pages: write
             id-token: write