Auto merge of #3298 - JohnTitor:fix-pages, r=JohnTitor

Fix Pages deployment

Author: bors

.github/workflows/docs.yml

@@ -25,11 +25,13 @@ jobs:
       - name: Generate documentation
         run: LIBC_CI=1 sh ci/dox.sh
       - name: Setup Pages
-        uses: actions/configure-pages@v2
+        uses: actions/configure-pages@v3
+      - name: Fix permissions
+        run: rm -f ./target/doc/.lock
       - name: Upload artifact
-        uses: actions/upload-pages-artifact@v1
+        uses: actions/upload-pages-artifact@v2
         with:
           path: 'target/doc'
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v1
+        uses: actions/deploy-pages@v2