CI: publish-webpage: move data instead of copying it

chipsalliance · Dec 25, 2024 · 9d6bf35 · 9d6bf35
1 parent 204a58e
commit 9d6bf35
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/publish-webpage.yml b/.github/workflows/publish-webpage.yml
@@ -63,8 +63,8 @@ jobs:
       - name: Preserve only valid items
         run: |
           mkdir -p ./public.old
-          cp -r ./public.checkout/doctrees ./public.old/ | true
-          cp -r ./public.checkout/html ./public.old/ | true
+          mv ./public.checkout/doctrees ./public.old/ | true
+          mv ./public.checkout/html ./public.old/ | true
 
       - name: Update webpage
         if: github.event_name != 'pull_request'
@@ -78,7 +78,7 @@ jobs:
           # use docs from the artifact
           rm -rf public.new/html/main/docs_rendered
           mkdir -p public.new/html/main/docs_rendered
-          cp -arf ./docs_rendered/* public.new/html/main/docs_rendered
+          mv ./docs_rendered/* public.new/html/main/docs_rendered
 
       - name: Update webpage PR
         if: github.event_name == 'pull_request'
@@ -92,7 +92,7 @@ jobs:
           # use docs from the artifact
           rm -rf public.new/html/dev/${{ github.event.number }}/docs_rendered
           mkdir -p public.new/html/dev/${{ github.event.number }}/docs_rendered
-          cp -arf ./docs_rendered/* public.new/html/dev/${{ github.event.number }}/docs_rendered
+          mv -arf ./docs_rendered/* public.new/html/dev/${{ github.event.number }}/docs_rendered
 
       - name: Add redirect index page
         run: |