build: push release versions to s3

.github/workflows/build.yml

@@ -55,6 +55,27 @@ jobs:
           path: _build/latex/*.pdf
           retention-days: 14
 
+      - name: Prepare rendered site
+        if: github.event_name == 'push' && github.ref_type == 'tag'
+        run: |
+          mv _build/html _site
+          mv _build/man _site/man
+          mkdir _site/pdf
+          mv _build/latest/*pdf _site/pdf
+
+      - name: Upload rendered site
+        uses: docker://docker.io/rclone/rclone:latest
+        if: github.event_name == 'push' && github.ref_type == 'tag'
+        env:
+          RCLONE_CONFIG_OBJSTORE_TYPE: s3
+          RCLONE_CONFIG_OBJSTORE_PROVIDER: ${{ secrets.S3_PROVIDER }}
+          RCLONE_CONFIG_OBJSTORE_ACCESS_KEY_ID: ${{ secrets.S3_ACCESS_KEY_ID }}
+          RCLONE_CONFIG_OBJSTORE_SECRET_ACCESS_KEY: ${{ secrets.S3_SECRET_ACCESS_KEY }}
+          RCLONE_CONFIG_OBJSTORE_ENDPOINT: ${{ secrets.S3_ENDPOINT }}
+          RCLONE_CONFIG_OBJSTORE_REGION: ${{ secrets.S3_REGION }}
+        with:
+          args: sync _site objstore:${{ secrets.S3_BUCKET }}/${{ github.ref_name }}
+
   publish:
     runs-on: ubuntu-latest
     name: Publish to GitHub pages