ci: Fix deploy-docs workflow (#4832)

pola-rs · Sep 12, 2022 · 21e2318 · 21e2318
1 parent 3317038
commit 21e2318
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/.github/workflows/docs-deploy.yaml b/.github/workflows/docs-deploy.yaml
@@ -46,10 +46,13 @@ jobs:
       - name: Prepare deployment
         run: |
           echo '<meta http-equiv=refresh content=0;url=polars/index.html>' > target/doc/index.html
-          mkdir target/doc/py-polars
-          cp -r py-polars/docs/build/html target/doc/py-polars
+          mv py-polars/docs/build/html target/doc/py-polars
 
       - name: Deploy
         run: |
           ghp-import -n target/doc
           git push -qf https://${{ secrets.GITHUB_TOKEN }}@github.com/${GITHUB_REPOSITORY}.git gh-pages
+
+      # Make sure documentation artifacts are not cached
+      - name: Clean up docs
+        run: rm -rf target/docs