We don't have any strong reasons to keep using CircleCI. Let's migrate the CI to GitHub Actions.
We don't have any strong reasons to keep using CircleCI. Let's migrate the CI to GitHub Actions.