Why we decided to migrate from Travis to Github Actions, and why you should consider doing the same February 11, 2021