Switch from Travis to Github Actions workflow for PRs

Original PR to master: #8680

Comment From: spring-projects-issues

Fixed via be0759302f6722ec8cbd196f4cbe3ad4063976a4