Port CircleCI jobs to Github Actions#3086
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 }}
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.