Should we move out of Travis and run CI on GitHub actions?
Should we move out of Travis and run CI on GitHub actions?