Closed JayShortway closed 3 months ago
Copies some CI jobs from GitHub Actions to CircleCI, so they can be required to run before release. I did not yet remove them from GitHub Actions, because that's still how they're run in PRs. Will do that later.
Copies some CI jobs from GitHub Actions to CircleCI, so they can be required to run before release. I did not yet remove them from GitHub Actions, because that's still how they're run in PRs. Will do that later.