so we have all PPA definitions at one place.
Travis CI is getting overloaded, so let's move some load over to GitHub Actions.