GitHub Actions #18
Description
Should we discuss replacing Travis with Actions? On the Free GitHub plan we've got 2k Actions minutes per month and it seems like more than enough. We can get rid of an excess part of our infrastructure which always seems to me like a win situation if it costs nothing.