Closed
Description
We think that the main reason these are on CircleCI is historical. It would simplify our lives to move it to Github Actions like the other CI.
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests