We need to move the tests and benchmarks to GitHub Actions now that travis-ci.org is no longer available.
