Open
Description
Lately we got a bunch of experience how to treat the GitHub CI. There is a number of recommendations to formulate, to form an understanding how to maintain CI properly in a way that would help even complex PRs.
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests