ci: run the reusable workflows on the Forgejo runners of git.pop.coop #23
No reviewers
Labels
No labels
accessibility
bug
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
Keel-Linux/.github!23
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "forgejo-ci"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Decision 0056 (handbook#71). The reusable workflows run on the Keel runners of git.pop.coop (label keel-host, no sudo), with the Forgejo artifact actions, Python from a virtual environment, kcov from the runner host, and no SARIF upload to GitHub code scanning. .forgejo/workflows holds the callers of this repository.
The push mirror of this repository to GitHub is held until the cutover of keel and handbook, so this does not change the CI of the GitHub repositories.