Move CI workflow from .github to .gitea #22

Merged
Tirsvad merged 1 commits from ci-gitea-workflow into main 2026-10-07 05:41:19 +02:00
1 Commits
Author SHA1 Message Date
Tirsvad dad0fb21d4 Move CI workflow from .github to .gitea
CI / test (push) Successful in 48s
CI / test (pull_request) Successful in 49s
Gitea Actions reads .gitea/workflows, so the workflow lives there. Update
the workflow header comment, the Continuous integration section and the
project layout in the README to match. A GitHub mirror does not run it.
2026-10-07 11:38:07 +08:00