CI: Automatically upload docs on release (#48211)

.github/workflows/docbuild-and-upload.yml

@@ -5,6 +5,8 @@ on:
     branches:
       - main
       - 1.4.x
+    tags:
+      - '*'
   pull_request:
     branches:
       - main
@@ -49,6 +51,9 @@ jobs:
     - name: Build documentation
       run: doc/make.py --warnings-are-errors
 
+    - name: Build documentation zip
+      run: doc/make.py zip_html
+
     - name: Build the interactive terminal
       run: |
         cd web/interactive_terminal
@@ -73,6 +78,10 @@ jobs:
       run: rsync -az --delete doc/build/html/ docs@${{ secrets.server_ip }}:/usr/share/nginx/pandas/pandas-docs/dev
       if: github.event_name == 'push' && github.ref == 'refs/heads/main'
 
+    - name: Upload prod docs
+      run: rsync -az --delete doc/build/html/ docs@${{ secrets.server_ip }}:/usr/share/nginx/pandas/pandas-docs/version/${GITHUB_REF_NAME}
+      if: github.event_name == 'push' && startsWith(github.ref, 'refs/tags/')
+
     - name: Move docs into site directory
       run: mv doc/build/html web/build/docs