Sync from GitHub main: v0.1.4

2026-05-08 12:32:22 -04:00
parent 1ea724cd1f
commit 883f9d037c
6 changed files with 120 additions and 4 deletions
@@ -11,6 +11,10 @@ on:

 jobs:
  sync:
+    # Gitea reads .github/workflows/ for compatibility, but this workflow
+    # pushes to a GitHub-hosted wiki. Skip on non-GitHub runners; the Gitea
+    # wiki is synced separately via scripts/sync-wiki.ps1.
+    if: github.server_url == 'https://github.com'
    runs-on: windows-latest
    permissions:
      contents: write