chore: 添加日志

Blinue · Oct 11, 2023 · 0ae0260 · 0ae0260
1 parent 32a7cda
commit 0ae0260
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/wiki.yml b/.github/workflows/wiki.yml
@@ -17,7 +17,7 @@ jobs:
       # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
       - uses: actions/checkout@v3
 
-      - name: Upload documentation to wiki
+      - name: Upload documentations to wiki
         run: python ci/wiki.py
         env:
           GH_PERSONAL_ACCESS_TOKEN: ${{ secrets.GH_PERSONAL_ACCESS_TOKEN }}
diff --git a/ci/wiki.py b/ci/wiki.py
@@ -36,6 +36,7 @@
     docsDir = os.path.normpath(os.path.dirname(__file__) + "\\..\\docs")
     for file in glob.glob(docsDir + "\\*.md"):
         shutil.copy(file, wikiRepoDir)
+        print("已拷贝 " + file, flush=True)
 
     # 推送
     os.system("git add .")