From 7f62fd7645a7f1b3046226eb2e32516440143966 Mon Sep 17 00:00:00 2001 From: Justin Paul Date: Fri, 8 May 2026 11:59:41 -0400 Subject: [PATCH] CI: skip GitHub-specific workflows on Gitea Actions; add workflow_dispatch Gitea reads .github/workflows/ for compatibility, so without guards it tries to run the release and wiki-sync workflows on Gitea too - which fail because they use softprops/action-gh-release@v2 (GitHub-only) and push to GitHub-hosted wiki URLs. Add `if: github.server_url == 'https://github.com'` to the release-builder and wiki-sync jobs so Gitea no-ops them. ci.yml (plain dotnet build + test) still runs on both, and now also accepts workflow_dispatch so it can be triggered by hand to verify a self- hosted runner is picking up jobs. Co-Authored-By: Claude Opus 4.7 (1M context) --- .github/workflows/ci.yml | 1 + .github/workflows/release.yml | 3 +++ .github/workflows/wiki-sync.yml | 4 ++++ 3 files changed, 8 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 2646469..69e19ee 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,6 +5,7 @@ on: branches: [main] pull_request: branches: [main] + workflow_dispatch: jobs: build: diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index b7e6750..38c8648 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -12,6 +12,9 @@ on: jobs: build-installer: + # Gitea reads .github/workflows/ for compatibility, but the create-release + # step uses a GitHub-only action. Skip the whole job on non-GitHub runners. + if: github.server_url == 'https://github.com' runs-on: windows-latest permissions: contents: write # needed to create releases / upload assets diff --git a/.github/workflows/wiki-sync.yml b/.github/workflows/wiki-sync.yml index 349fefa..289eee8 100644 --- a/.github/workflows/wiki-sync.yml +++ b/.github/workflows/wiki-sync.yml @@ -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