Quite a while back we started using Travis CI to run the PR builds for Artemis. Recently support was added for GitHub Actions which run the same builds as Travis CI. At this point, both Travis and GitHub are running the same builds for Artemis PRs.
Does anybody object to removing Travis builds? The GitHub Actions always run faster and integration is better. I don't see any reason to run the same builds on two different services. Justin
