update actions/deploy-pages to v4

* This hopefully fixes the GitHub actions workflow that currently doesn't find the correct url.

Signed-off-by: Armin Tänzer <[email protected]>

Author: armintaenzertng

.github/workflows/docs.yml

@@ -7,6 +7,7 @@ on:
   push:
     branches:
       - main
+  workflow_dispatch:
 
 permissions:
   contents: read
@@ -44,4 +45,4 @@ jobs:
     steps:
       - id: deployment
         name: Deploy docs to GitHub pages
-        uses: actions/deploy-pages@v2
+        uses: actions/deploy-pages@v4