Consider switching to GitHub Actions (from Travis CI) #678
Description
As you may be aware, Travis CI doesn't have the same resources available it used to (for a while now).
Now there is GitHub Actions and it seems to be a good option for a free ci service.