ci: Forgejo workflows for git.pop.coop #8

Merged
navigator merged 1 commit from ci/forgejo-workflows into main 2026-10-14 19:46:25 -03:00
Owner

Decision 0056. Adds .forgejo/workflows: the workflows of .github/workflows, with a runs-on line on each call of a reusable workflow of Keel-Linux/.github, because Forgejo runs a called workflow on the runner of the caller. The GitHub files do not change.

Decision 0056. Adds .forgejo/workflows: the workflows of .github/workflows, with a runs-on line on each call of a reusable workflow of Keel-Linux/.github, because Forgejo runs a called workflow on the runner of the caller. The GitHub files do not change.
ci: Forgejo workflows for git.pop.coop
All checks were successful
security / security (pull_request) Successful in 52s
tests / package (pull_request) Successful in 6s
tests / tests (pull_request) Successful in 1m16s
f430fae63d
Decision 0056. .forgejo/workflows is a copy of .github/workflows with a
runs-on line on each call of a reusable workflow, because Forgejo runs a
called workflow on the runner of the caller. The GitHub files do not
change.
navigator deleted branch ci/forgejo-workflows 2026-10-14 19:46:25 -03:00
Sign in to join this conversation.
No description provided.