From d9380e5f38092517e10a90646a653c3779837a3f Mon Sep 17 00:00:00 2001
From: mrbean-bremen <hansemrbean@googlemail.com>
Date: Mon, 1 Apr 2024 19:45:55 +0200
Subject: [PATCH] Revert deploy-pages to v3

- stop-gap: publishing fails with the latest version
---
 .github/workflows/builddocs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/builddocs.yml b/.github/workflows/builddocs.yml
index 28748fc5b..5e52de997 100644
--- a/.github/workflows/builddocs.yml
+++ b/.github/workflows/builddocs.yml
@@ -45,4 +45,4 @@ jobs:
         path: 'Docs/_site'
     - name: Deploy to GitHub Pages
       id: deployment
-      uses: actions/deploy-pages@v4
\ No newline at end of file
+      uses: actions/deploy-pages@v3