fixing import issues and type annotations. Also fixed broken sync wiki step

This commit is contained in:
2025-10-01 12:41:43 -05:00
parent d6efbfe222
commit c93b25b678
7 changed files with 104 additions and 113 deletions
+2 -2
View File
@@ -515,7 +515,7 @@ jobs:
- name: Checkout wiki repo
run: |
git clone "https://github.com/${GITHUB_REPOSITORY}.wiki.git" wiki
git clone "https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${GITHUB_REPOSITORY}.wiki.git" wiki
- name: Sync WIKI.md to Wiki/Home.md
run: |
@@ -536,7 +536,7 @@ jobs:
git config user.email "github-actions[bot]@users.noreply.github.com"
git add Home.md
git commit -m "Sync WIKI.md from main repo [skip ci]" || echo "No changes to commit"
git push
git push "https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${GITHUB_REPOSITORY}.wiki.git"
else
echo "No changes in $SRC_FILE; wiki is up to date."
fi