Revert "Bump actions/deploy-pages from 3 to 4"

This reverts commit 502923b.
goblint · Dec 20, 2023 · df2b39a · df2b39a
1 parent 9f5de68
commit df2b39a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -68,4 +68,4 @@ jobs:
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v4
+        uses: actions/deploy-pages@v3