Add documentation build workflow

Author: sepehr-rs

.github/workflows/build-docs-workflow.yml

@@ -0,0 +1,60 @@
+# .github/workflows/build-docs-preview.yml
+name: Build Docs Preview
+
+on:
+  pull_request:
+    paths:
+      - '**/*.po'
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout CPython
+        uses: actions/checkout@v4
+        with:
+          repository: python/cpython
+          ref: v3.14.6
+
+      - name: Set up Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: '3.12'
+
+      - name: Setup virtual environment
+        run: make venv
+        working-directory: ./Doc
+
+      - name: Checkout translation files (this PR's branch)
+        uses: actions/checkout@v4
+        with:
+          ref: ${{ github.event.pull_request.head.sha }}  # <-- the PR's actual commit
+          path: Doc/locales/fa/LC_MESSAGES
+
+      - name: Install gettext
+        run: sudo apt-get install -y gettext
+
+      - name: Compile .po files to .mo
+        run: |
+          find Doc/locales/fa/LC_MESSAGES -name "*.po" | while read f; do
+            msgfmt "$f" -o "${f%.po}.mo"
+          done
+
+      - name: Build documentation
+        id: build
+        run: |
+          set +e
+          make -e SPHINXOPTS="--color -D language='fa' -D gettext_allow_fuzzy_translations=1 --keep-going" html 2>&1 | tee build.log
+          echo "exit_code=${PIPESTATUS[0]}" >> $GITHUB_OUTPUT
+        working-directory: ./Doc
+
+      - name: Save PR number
+        run: echo "${{ github.event.pull_request.number }}" > pr_number.txt
+
+      - name: Upload build result
+        uses: actions/upload-artifact@v4
+        with:
+          name: build-result
+          path: |
+            build.log
+            pr_number.txt

.github/workflows/comment-docs-preview.yml

@@ -0,0 +1,62 @@
+# .github/workflows/comment-docs-preview.yml
+name: Comment Docs Build Status
+
+on:
+  workflow_run:
+    workflows: ["Build Docs Preview"]
+    types:
+      - completed
+
+jobs:
+  comment:
+    runs-on: ubuntu-latest
+    permissions:
+      pull-requests: write
+
+    steps:
+      - name: Download build result
+        uses: actions/download-artifact@v4
+        with:
+          name: build-result
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          run-id: ${{ github.event.workflow_run.id }}
+
+      - name: Read PR number
+        id: pr
+        run: echo "number=$(cat pr_number.txt)" >> $GITHUB_OUTPUT
+
+      - name: Read build log
+        id: log
+        run: |
+          # Grab the last 20 lines so the comment isn't massive
+          LOG=$(tail -20 build.log)
+          # GitHub Actions has a specific way to handle multiline strings
+          echo "content<<EOF" >> $GITHUB_OUTPUT
+          echo "$LOG" >> $GITHUB_OUTPUT
+          echo "EOF" >> $GITHUB_OUTPUT
+
+      - name: Post comment
+        uses: actions/github-script@v7
+        with:
+          script: |
+            const success = '${{ github.event.workflow_run.conclusion }}' === 'success';
+            const icon = success ? '✅' : '❌';
+            const status = success ? 'succeeded' : 'failed';
+
+            const body = `### ${icon} Docs build ${status}
+
+            <details>
+            <summary>Build log (last 20 lines)</summary>
+
+            \`\`\`
+            ${{ steps.log.outputs.content }}
+            \`\`\`
+
+            </details>`;
+
+            github.rest.issues.createComment({
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              issue_number: ${{ steps.pr.outputs.number }},
+              body: body
+            });

Makefile

@@ -21,7 +21,7 @@
 
 CPYTHON_CURRENT_COMMIT := d26c2fe7a2833606b3fb8d9789149d8696978d86
 LANGUAGE := fa
-BRANCH := 3.13
+BRANCH := 3.14
 
 EXCLUDED := \
 	whatsnew/2.?.po \