Migrate from CircleCI to GitHub Actions

Question

makkes opened this issue 2 years ago · 3 comments

One less external system to care about.

Answer 1 · 2023-01-18T15:41:48.000Z

We'd like to retire our CircleCI subscription this year.

Answer 2 · 2023-01-18T16:24:46.000Z

There's no huge rush, as we have 6.8m pre-paid credits to use, and this is using ~6 / month. But it will fail when we terminate CircleCI.

Answer 3 · 2023-01-18T17:40:24.000Z

There's a PR up now to get rid of CircleCI: #54