Travis queues are really slow these days, and the writing seems to be on the wall for free CI — we'll probably have no choice but to migrate eventually.
I haven't set up github actions CI yet myself, so if someone is already familiar with this it would be great to have a PR.