Fixed GitHub Pages

wkornewald · wkornewald · commit e044105a96f6 · 2025-10-08T09:35:38.000+02:00
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -56,4 +56,4 @@ jobs:
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v5
+        uses: actions/deploy-pages@v4
