Switch from Travis to Github Actions workflow for PRs

Original PR to master: #8680

Comment From: spring-projects-issues

Fixed via aa5a42cfbcd775dad4cec2800cbb73bd88175266