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

This commit was merged in pull request #13.
This commit is contained in:
2025-10-01 12:57:34 -05:00
committed by Jason Ross
parent 9f0adea09d
commit 59dae6c31a
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