From c1de0952bcc8720e3d21f1229699d7c1ab2d2a03 Mon Sep 17 00:00:00 2001
From: mrbean-bremen <hansemrbean@googlemail.com>
Date: Mon, 1 Apr 2024 20:02:23 +0200
Subject: [PATCH] Set deploy-pages back to v4

- test in PR
---
 .github/workflows/builddocs.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/builddocs.yml b/.github/workflows/builddocs.yml
index 5e52de997..0d4c0bdd2 100644
--- a/.github/workflows/builddocs.yml
+++ b/.github/workflows/builddocs.yml
@@ -6,6 +6,9 @@ on:
   push:
     branches:
       - master
+  pull-request:
+    branches:
+      - master
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions:
@@ -45,4 +48,4 @@ jobs:
         path: 'Docs/_site'
     - name: Deploy to GitHub Pages
       id: deployment
-      uses: actions/deploy-pages@v3
+      uses: actions/deploy-pages@v4