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

Fix Pages deployment
rust-lang · Jul 10, 2023 · 9cbdd4d · 9cbdd4d
2 parents 92e5d67 + 0d3f114
commit 9cbdd4d
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/.github/workflows/docs.yml b/.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