We currently use CircleCI for testing, but to align with other projects, it's probably a good idea to move this to Github actions.