Merge branch '3.13' into cron/sync/3.13

Author: mattwang44

.github/workflows/ci.yml

@@ -9,6 +9,10 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.13"
+
       - name: Install Dependencies
         run: sudo apt-get install gettext
 

.github/workflows/deploy-gh-page.yml

@@ -18,7 +18,7 @@ jobs:
         run: JOBS=4 MODE=html make all
 
       - name: Deploy to gh page
-        uses: JamesIves/github-pages-deploy-action@v4.7.2
+        uses: JamesIves/github-pages-deploy-action@v4.7.3
         with:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           BRANCH: gh-pages