Switch from Travis to Github Actions workflow for PRs
Original PR to master: #8680
Comment From: spring-projects-issues
Fixed via be0759302f6722ec8cbd196f4cbe3ad4063976a4
Switch from Travis to Github Actions workflow for PRs
Original PR to master: #8680
Comment From: spring-projects-issues
Fixed via be0759302f6722ec8cbd196f4cbe3ad4063976a4