Open
Description
Every pull request can theoretically be processed independently. But we run all of them sequentially, consuming a lot longer than required.
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests