From 87a98b748f5e4d117ed3f483c03c32090e17553d Mon Sep 17 00:00:00 2001
From: mrbean-bremen <hansemrbean@googlemail.com>
Date: Mon, 1 Apr 2024 21:18:59 +0200
Subject: [PATCH] Going back to version 3 again

---
 .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 14290543b..c8587ee50 100644
--- a/.github/workflows/builddocs.yml
+++ b/.github/workflows/builddocs.yml
@@ -49,4 +49,4 @@ jobs:
         path: 'Docs/_site'
     - name: Deploy to GitHub Pages
       id: deployment
-      uses: actions/deploy-pages@v4
+      uses: actions/deploy-pages@v3