Now that we use GitHub Actions for Pull Requests (gh-8680) we should remove Travis

Comment From: eleftherias

Closed via ca63af4a