Range-V3 has migrated from Travis and Appveyor to Github Actions for CI runs, which are now [apparently much faster](https://twitter.com/ericniebler/status/1262500460088320001). We should look at doing the same, particularly since Travis <-> Github integration seems like it's now broken.