Consider migrating from Travis-CI to Github Actions

[Vincent43]

Github Actions is new service (beta) for CI. Perhaps it has better intergration than third party services and maybe more features.

[chiraag-nataraj]

I'd personally be wary of integrating too much into Github. The main reason (of course) is that Github is now owned by Microsoft. Yeah, they've been better to the OSS community recently, but I still don't trust them, and if we have to jump ship for whatever reason, the fewer disruptions, the better.

[Fred-Barclay]

Any particular reason we couldn't use both? It would give us more redundancy if Travis CI goes down.

[Vincent43]

Sure we can use both. In case we have to jump ship it will break everything anyway. We may consider to create mirror (read-only) on gitlab.

[Fred-Barclay]

We may consider create mirror on gitlab.

Tried that previously -- IIRC it works well. 😄

[netblue30]

We'll use both of them. TravisCI runs on Ubuntu 14.04, maybe we can get something newer from these guys. The test in Travis covers about 55% of the code (this is the number from 6 months ago), if we get a newer kernel we can bump up the coverage.

[chiraag-nataraj]

Let's move the discussion over to #2729.