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

Merged
navigator merged 1 commit from ci/forgejo-workflows into main 2026-10-14 19:42:55 -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 / package (pull_request) Successful in 4s
security / security (pull_request) Successful in 46s
tests / tests (pull_request) Successful in 51s
package / build (pull_request) Successful in 2m23s
5b162dfbf6
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:42:55 -03:00
Sign in to join this conversation.
No description provided.