Merge branch 'main' into main

Author: Lukas742

.github/workflows/docs-stable.yml

@@ -41,7 +41,7 @@ jobs:
           NODE_OPTIONS: '--max-old-space-size=4096'
 
       - name: Deploy Docs
-        uses: JamesIves/github-pages-deploy-action@v4.6.9
+        uses: JamesIves/github-pages-deploy-action@v4.7.1
         with:
           branch: gh-pages # The branch the action should deploy to.
           folder: .out # The folder the action should deploy.

.github/workflows/main.yml

@@ -127,7 +127,7 @@ jobs:
           NODE_OPTIONS: '--max-old-space-size=4096'
 
       - name: Deploy 🚀
-        uses: JamesIves/github-pages-deploy-action@v4.6.9
+        uses: JamesIves/github-pages-deploy-action@v4.7.1
         with:
           branch: gh-pages # The branch the action should deploy to.
           folder: .out # The folder the action should deploy.