ci: build on GitHub via the mirror, switchable with BUILD_ON #7

Merged
jcoffey-dev merged 1 commits from ci/build-on-github into main 2026-09-30 06:52:56 +00:00
1 Commits
Author SHA1 Message Date
jcoffey-dev 56a50e5aa3 ci: build on GitHub when BUILD_ON=github
ci / github (pull_request) Skipped
ci / test (pull_request) Successful in 1m27s
ci / release (pull_request) Skipped
ci / announce (pull_request) Skipped
GitHub now holds a push mirror of this repository. The org variable
BUILD_ON picks which forge builds: set to 'github', the test and release
jobs run in .github/workflows/ci.yml on GitHub's runners, attach the
archives to the Gitea Release, and report back as the commit status
"github/ci (branch)" or "github/ci (tag)". Gitea's ci.yml skips its own
test and release jobs and waits on that status instead, so its run still
passes or fails with the real result, and it announces the release once
GitHub reports success. Unset, nothing changes: Gitea builds as before.

The GitHub-era release workflow is replaced by ci.yml.
2026-09-29 23:06:04 -07:00