[chore] Fix doc and clippy error

.github/workflows/sync.tmp

@@ -1,27 +1,27 @@
-name: Sync CI
-on:
-  workflow_run:
-    workflows: 
-      - Build CI
-      - Test CI
-      - Build & Deploy docs
-    types:
-      - completed
-    branches:
-      - main
+# name: Sync CI
+# on:
+#   workflow_run:
+#     workflows: 
+#       - Build CI
+#       - Test CI
+#       - Build & Deploy docs
+#     types:
+#       - completed
+#     branches:
+#       - main
 
-jobs:
-  sync:
-    runs-on: ubuntu-latest
-    if: ${{ github.event.workflow_run.conclusion == 'success' }}
-    steps:
-    - uses: actions/checkout@v4
-    - name: Setup SSH
-      uses: webfactory/[email protected]
-      with:
-        # Please set the private key in the repository settings
-        ssh-private-key: ${{ secrets.SSH_KEY }}
-    - name: Enable git-subrepo subcommands
-      run: git clone https://github.com/ingydotnet/git-subrepo /tmp/git-subrepo 
-    - name: Synchronize with remote terminal modules
-      run: ./scripts/build/sync.sh ${{github.actor}} ${{github.actor_id}}
+# jobs:
+#   sync:
+#     runs-on: ubuntu-latest
+#     if: ${{ github.event.workflow_run.conclusion == 'success' }}
+#     steps:
+#     - uses: actions/checkout@v4
+#     - name: Setup SSH
+#       uses: webfactory/[email protected]
+#       with:
+#         # Please set the private key in the repository settings
+#         ssh-private-key: ${{ secrets.SSH_KEY }}
+#     - name: Enable git-subrepo subcommands
+#       run: git clone https://github.com/ingydotnet/git-subrepo /tmp/git-subrepo 
+#     - name: Synchronize with remote terminal modules
+#       run: ./scripts/build/sync.sh ${{github.actor}} ${{github.actor_id}}