Merge workflow for release #41

Merged
JMR-dev merged 5 commits from develop into main 2025-10-17 19:05:38 +00:00
Showing only changes of commit 9ebfe8f4ed - Show all commits
+3
View File
@@ -574,6 +574,9 @@ jobs:
sync-wiki:
needs: do-release
if: needs.do-release.result == 'success'
permissions:
contents: write
pull-requests: write
uses: ./.github/workflows/sync-wiki.yml
with:
branch: main