Merge remote-tracking branch 'upstream/main' into feature/initial-contents

Author: cardil

.github/workflows/docs.yml

@@ -52,6 +52,7 @@ jobs:
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: "${{ env.SITE_DIR }}"
+          keep_files: true
           commit_message: "[CI] Publish Documentation for ${{ github.sha }}"
           user_name: 'github-actions[bot]'
           user_email: 'github-actions[bot]@users.noreply.github.com'

.github/workflows/pr-close.yml

@@ -9,7 +9,7 @@ jobs:
       contents: write
       pull-requests: write
     name: Delete preview for PR
-    runs-on: [ ubuntu-24.04 ]
+    runs-on: [ ubuntu-22.04 ]
     env:
       SITE_DIR: "gh-pages"
       PR_PATH: pull-${{ github.event.number }}