Travis CI has made some recent changes that result in slower results. This switches to using GitHub's new actions workflow instead.