Travis has unfortunately been severely rate limited by Docker Hub so we have to switch to GitHub, which has an agreement with Docker to avoid the rate limiting.
A initial workflow needs to be defined for actions to trigger on pull requests, so just add a minimal, dummy one.