Instead of Travis, we could actually start using Github Actions to achieve the same thing. Maybe it's a better integration with Github. Let me know if you agree or not Vasil. Regards, Melroy van den Berg