Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Changes to the CI are: - Use non-deprecated actions. - Run tests also on ARM on GitHub Actions instead of CircleCI. This was the only reason to keep the CircleCI job. Hence it's removed. - Run benchmarks on GitHub Actions
- Loading branch information