Due to the build costs, we decided to go with Github Actions instead of Travis CI for PR builds. This PR does the final step and removes the Travis config from our repo.
As these are no API changes, this is a fast-track review period of just one day as per our committer rules.
Due to the build costs, we decided to go with Github Actions instead of Travis CI for PR builds. This PR does the final step and removes the Travis config from our repo.
As these are no API changes, this is a fast-track review period of just one day as per our committer rules.