[CI][Refactor] Refactor non-test CI workflow files

.github/workflows/pr-perfbench-bot.yml

@@ -0,0 +1,71 @@
+name: Performance Benchmark Bot
+
+on:
+  issue_comment:
+    types:
+      - created
+
+permissions:
+  contents: read
+
+concurrency:
+  group: "${{ github.workflow }}-${{ github.ref }}"
+  cancel-in-progress: true # always cancel in-progress
+
+jobs:
+  perfbench:
+    name: Benchmark between PR and main
+    if: |
+      github.event_name == 'pull_request' &&
+      (contains(github.event.comment.body, '/performance-report') || contains(github.event.comment.body, '/perf'))
+    runs-on: [self-hosted, nvidia]
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v5
+        with:
+          ref: refs/pull/${{ github.event.issue.number }}/merge
+          fetch-depth: 0
+          submodules: recursive
+
+      - name: Set up Python
+        uses: actions/setup-python@v6
+        with:
+          python-version: "3.9"
+
+      - name: Install merged version
+        run: |
+          python -m venv tll
+          source tll/bin/activate
+          pip install -r requirements-test.txt
+          pip install .
+
+      - name: Install original version
+        run: |
+          echo "Check files to be deleted!"
+          git clean -dxf -e tll/
+          echo "Delete files completed!"
+          git checkout main
+          python -m venv tl
+          source tl/bin/activate
+          pip install -r requirements-test.txt
+          pip install .
+
+      - name: Run performance test
+        id: perfbench
+        run: |
+          source tl/bin/activate
+          python maint/scripts/ci_performance.py
+
+      - name: Post test results as PR comment
+        uses: actions/github-script@v8
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          script: |
+            github.rest.issues.createComment({
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              issue_number: context.issue.number,
+              body: '📊 ​**Performance Test Results** (triggered by @' + context.payload.comment.user.login + '):\n\n' +
+                'Run listed here: ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}\n\n' +
+                "${{ steps.perfbench.outputs.stdout }}"
+            })

.github/workflows/pr-reminder-bot.yml

@@ -0,0 +1,27 @@
+name: PR Reminder Bot
+
+on:
+  pull_request_target:
+    types:
+      - opened
+
+jobs:
+  remind:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Remind
+        uses: actions/github-script@v8
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          script: |
+            github.rest.issues.createComment({
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              issue_number: context.issue.number,
+              body: '👋 Hi! Thank you for contributing to the **TileLang** project.\n\n' +
+                'Please remember to run `pre-commit run --all-files` in the root directory of the project ' +
+                'to ensure your changes are properly linted and formatted. ' +
+                'This will help ensure your contribution passes the format check.\n\n' +
+                'We appreciate you taking this step! ' +
+                'Our team will review your contribution, and we look forward to your awesome work! 🚀'
+            })

.github/workflows/publish-docs.yml

@@ -0,0 +1,55 @@
+name: Documentation
+
+on:
+  pull_request_target:
+    types:
+      - closed
+  workflow_dispatch:
+
+permissions:
+  contents: write
+
+jobs:
+  docs:
+    name: Build and Publish Docs
+    if: |
+      (github.event.pull_request.merged == true && github.event.pull_request.base.ref == 'main') ||
+      github.event_name == 'workflow_dispatch'
+    runs-on: [self-hosted, nvidia]
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v5
+        with:
+          fetch-depth: 0
+          submodules: recursive
+
+      - name: Set up Python
+        uses: actions/setup-python@v6
+        with:
+          python-version: "3.10"
+
+      - name: Build docs
+        run: |
+          bash -ex maint/scripts/build_docs.sh
+
+      - name: Push built docs to another repo
+        run: |
+          # Hide sensitive info in logs
+          echo "::add-mask::${{ secrets.TARGET_TOKEN }}"
+          echo "::add-mask::${{ secrets.TARGET_REPO }}"
+          TARGET_REPO_URL="https://github.com/${{ secrets.TARGET_REPO }}.git"
+
+          git clone "${TARGET_REPO_URL}" -b main target_repo
+          cd target_repo
+          git config --local user.name "github-actions[bot]"
+          git config --local user.email "github-actions[bot]@users.noreply.github.com"
+          find . -mindepth 1 -maxdepth 1 ! -name ".github" ! -name "." ! -name ".git" -exec rm -rf {} +
+          cp -r ../docs/_build/html/* ./
+          git add .
+          if [[ -n "$(git status --porcelain)" ]]; then
+            # If there are changes, commit and push
+            git commit -m "Update docs"
+            git push "https://github-actions[bot]:${{ secrets.TARGET_TOKEN }}@${TARGET_REPO_URL##*://}" main
+          else
+            echo "No changes detected, skipping commit and push."
+          fi