Our previous CI on Travis has been broken for a while due to their move from travis-ci.org to travis-ci.com. Instead of fixing things up there, move everything to github actions.