Travis CI is no longer used: migrate to using Github actions.
Travis CI is no longer used: migrate to using Github actions.