Migrate CI to GitHub Actions #864
Description
In #863, the only CI check is the docs build. Unit tests are supposed to be run by Travis, but I guess that's not working any more. Let's use GitHub Actions instead.
{{ message }}
In #863, the only CI check is the docs build. Unit tests are supposed to be run by Travis, but I guess that's not working any more. Let's use GitHub Actions instead.