Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
In #1932, we migrated to GitHub Actions which is generally faster and has a simpler configuration. This completes that work by removing Circle CI. This commit will fail checks for Circle CI, which after it's merged we can disable in the UI.
- Loading branch information