Tirsvad/prime-numbers-c
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add workflow that publishes docs/wiki to the Gitea wiki #2

Merged
Tirsvad merged 3 commits from docs/wiki-and-dist-build into main 2026-10-19 19:33:19 +02:00
Conversation 0 Commits 3 Files Changed 2
+2 -2
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 6782c1e573 - Show all commits
.gitea/workflows/publish-wiki.yml
+2 -2
View File
@@ -13,7 +13,7 @@
# repository: a Gitea token with scope write:repository for a user that # repository: a Gitea token with scope write:repository for a user that
# can write this repository (see guides/credentials.md of github-action). # can write this repository (see guides/credentials.md of github-action).
# 2. Enable the wiki in the repository settings. # 2. Enable the wiki in the repository settings.
# 3. Keep @v1, or pin the exact release tag together with tools-ref. # 3. Keep @v2, or pin the exact release tag together with tools-ref.
# A runner must be registered for the repository (or its organization). # A runner must be registered for the repository (or its organization).
# #
# prune: "true" deletes wiki pages that are not in docs/wiki/, so the wiki # prune: "true" deletes wiki pages that are not in docs/wiki/, so the wiki
@@ -30,7 +30,7 @@ on:
jobs: jobs:
wiki: wiki:
uses: TirSystem/github-action/.gitea/workflows/publish-wiki-pages.yml@v1 uses: TirSystem/github-action/.gitea/workflows/publish-wiki-pages.yml@v2
with: with:
wiki_dir: docs/wiki wiki_dir: docs/wiki
prune: "true" prune: "true"