chore: add doc release workflow

Author: lucasfang

.github/workflows/build_docs.yaml

@@ -0,0 +1,65 @@
+name: "Release Docs"
+
+on:
+  push:
+    branches:
+      - main
+    paths:
+      - 'apidoc/**'
+      - 'docs/**'
+      - 'src/**'
+      - 'include/**'
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: false
+
+permissions:
+  contents: write
+
+jobs:
+  docs:
+    runs-on: ubuntu-24.04
+
+    steps:
+      - uses: actions/[email protected]
+        with:
+          fetch-depth: 1
+
+      - uses: actions/setup-python@v6
+        with:
+          python-version: '3.x'
+
+      - name: Install dependencies
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y doxygen
+          make install-deps
+
+      - name: Build API
+        run: |
+          cd ./apidoc
+          doxygen
+          cd -
+
+      - name: Build Docs
+        run: |
+            cd docs
+            make html
+            mkdir -p /tmp/site
+            cp -r ./_build/html/* /tmp/site/
+            cd -
+
+      - name: Deploy to gh-pages
+        if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+        run: |
+          git config --global user.name 'GitHub Actions'
+          git config --global user.email '[email protected]'
+
+          git checkout --orphan gh-pages-tmp
+          git rm --quiet -rf .
+          cp -r /tmp/site/* .
+          echo "https://alibaba.github.io/paimon-cpp" > CNAME
+          git add --all
+          git commit -m "Publish docs from commit ${{ github.sha }}"
+          git push -f origin gh-pages-tmp:gh-pages