Merge pull request #1811 from goblint/dependabot/github_actions/actions/upload-pages-artifact-4

Bump actions/upload-pages-artifact from 3 to 4

Author: sim642

.github/workflows/docs.yml

@@ -50,7 +50,7 @@ jobs:
         run: opam exec -- dune build @doc
 
       - name: Upload artifact
-        uses: actions/upload-pages-artifact@v3
+        uses: actions/upload-pages-artifact@v4
         with:
           path: _build/default/_doc/_html/