Skip to content

Commit a287696

Browse files
chore: merge main into release [skip ci]
2 parents 4004291 + 1d5477d commit a287696

1 file changed

Lines changed: 3 additions & 0 deletions

File tree

.github/workflows/wiki-publish.yml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -55,6 +55,9 @@ jobs:
5555
5656
- name: Copy generated pages to wiki
5757
run: |
58+
# Remove all existing markdown files from wiki repo to ensure
59+
# pages for renamed or deleted classes are properly cleaned up
60+
find wiki-repo -maxdepth 1 -name '*.md' -type f -delete 2>/dev/null || true
5861
# Copy all generated markdown files to the wiki repo
5962
cp wiki-output/*.md wiki-repo/
6063
echo "Copied wiki pages to wiki repository"

0 commit comments

Comments
 (0)