Public Access
emilandDevin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
f50c4c1e00
Post-merge / detect-type (push) Successful in 10s
Post-merge / validate-commit-msg (push) Successful in 11s
Post-merge / vikunja (push) Successful in 24s
Post-merge / configure-repo (push) Successful in 16s
Post-merge / sync-wiki (push) Successful in 35s
Post-merge / release (push) Successful in 44s
Post-merge / publish (push) Successful in 22s
Post-merge / badges (push) Failing after 30s
Gitea appends a ".-" suffix before ".md" for wiki page titles that contain dashes, to distinguish literal dashes from space-to-dash conversions. For example, "Getting-Started" becomes "Getting-Started.-.md", while "Architecture" becomes "Architecture.md". Previously the code wrote "Getting-Started.md" which Gitea couldn't recognize as a valid wiki page, causing verification to fail with "page not found" for 15 of 21 pages. Also force-push to handle concurrent CI runs that may have pushed to the wiki repo between our clone and push. Generated with [Devin](https://devin.ai) Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>