we currently have a .travis.yml file in this repository, but travis-ci does no longer run it. we should convert to github actions.