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

Merged
navigator merged 1 commit from ci/forgejo-workflows into main 2026-10-14 19:38:31 -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
tests / python (pull_request) Successful in 35s
94928940e6
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:38:31 -03:00
Sign in to join this conversation.
No description provided.