Switch from Travis to Github Actions workflow for PRs

Original PR to master: #8680

Comment From: spring-projects-issues

Fixed via fa09295fd6598be51805357a91bd7f7162f7207d