From 5698fcaca9b5799087da9f2ed2d0c47e34262fd8 Mon Sep 17 00:00:00 2001
From: Tim te Beek <tim@moderne.io>
Date: Wed, 7 Feb 2024 15:05:59 +0100
Subject: [PATCH] Push docs to pages after publish too, as tag push fails

---
 .github/workflows/pages.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
index c089b33d..346942ca 100644
--- a/.github/workflows/pages.yml
+++ b/.github/workflows/pages.yml
@@ -5,6 +5,11 @@ on:
   push:
     tags:
       - v*
+  workflow_dispatch: {}
+  workflow_run:
+    workflows: ["publish"]
+    types:
+      - completed
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions: