Open
Description
After a try or an auto build is started on a PR, we should use the GitHub commit status API to mark the PR as being "CI pending" (yellow dot). Same as homu did.
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
No one assigned
No labels
No type
No projects
No milestone
None yet
No branches or pull requests