Switch to GitHub Actions or travis-ci.com #185
Description
Per the banner at the top of https://travis-ci.org, travis-ci.org is shutting down in a few weeks. CI should be migrated to travis-ci.com or maybe GitHub Actions. For both of these choices, I believe one of the repo owners will need to enable it.